Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
Norman Mattern, Robin Schubert, Christian Adam, Ge...
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Abstract--The concept of enhanced maps (Emaps) was introduced with one main objective: It should characterize roads, first, with more completeness and, second, with more accuracy t...
Visuo-haptic mixed reality consists of adding to a real scene the ability to see and touch virtual objects. It requires the use of seethrough display technology for visually mixin...
Francesco I. Cosco, Carlos Garre, Fabio Bruno, Mau...
— Smart antennas include a broad range of antenna technologies ranging from the simple switched beam to the more sophisticated adaptive arrays and multiple input multiple output ...