Sciweavers

4911 search results - page 354 / 983
» The Future of Object Technology
Sort
View
GI
2009
Springer
15 years 4 months ago
An Automotive Perception System using Distance Cameras and Polar Occupancy Grids
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...
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 1 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
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...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
TITS
2010
128views Education» more  TITS 2010»
15 years 1 months ago
Creating Enhanced Maps for Lane-Level Vehicle Navigation
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...
David Bétaille, Rafael Toledo-Moreo
ISMAR
2009
IEEE
16 years 1 months ago
Augmented touch without visual obtrusion
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...
BROADNETS
2006
IEEE
16 years 27 days ago
On the Use of Smart Antennas in Multi-Hop Wireless Networks
— 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 ...
Karthikeyan Sundaresan, Sriram Lakshmanan, Raghupa...