Skip to search formSkip to main contentSkip to account menu

VaMP

The VaMP driverless car was one of the first truly autonomous cars along with its twin vehicle, the VITA-2. They were able to drive in heavy traffic… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In order to reduce input current distortions and improve power factor of a passive three-phase diode bridge rectifier, an active… 
2014
2014
This paper introduces a generic approach for managing automatically applications elasticity. The proposed solution addresses a… 
2014
2014
This paper discusses an approach for deploying command-line applications on cloud computing platforms. The main focus of the… 
2013
2013
VideoCycle is a candidate application for this second Video Browser Showdown challenge. VideoCycle allows interactive intra-video… 
2009
2009
  • D. James
  • 2009
  • Corpus ID: 31525195
The first decade of the new millennium has seen the introduction of a suite of production disciplines known collectively as… 
2009
2009
We present the formal integration of an automotive bus controller into a formally verified gate-level computer system. This… 
2009
2009
The first decade of the new millennium has seen the introduction of a suite of production disciplines known collectively as… 
Review
2008
Review
2008
In this thesis we review and extend the pervasive correctness proof for an asynchronous distributed real-time system published in… 
1968
1968
BySpeer, Hugh W. A Historical and Social Perspective Implications. Final Report. Missouri Univ., Kansas City. Spons AgencyOffice…