139 search results - page 25 / 28 » Airborne Collision Avoidance System |
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...
FORTE
2004
14 years 11 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
82
Voted
ICWN
2003
14 years 11 months ago
2003
Sensor networks are poised for increasingly wider uses in many military and civil applications. We present a bootstrapping protocol for a class of sensor networks in which the net...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
JCM
2006
14 years 10 months ago
2006
For a dense RFID reader deployment, such as in a warehouse, where hundreds of readers will be positioned in a building, the interference between all these readers must be studied c...