Graphic Toolkit for Adaptive Layouts in In-Vehicle User Interfaces
Proactive traffic merging strategies for sensor-enabled cars
A differential OFDM approach to coherence time mitigation in DSRC
Runtime infrastructure for simulating vehicle-2-X communication scenarios
Learning to predict train wheel failures
Onboard classifiers for science event detection on a remote sensing spacecraft
Rendering effective route maps: improving usability through generalization
LIMERIC: A linear message rate control algorithm for vehicular DSRC systems
An approach to the pervasive formal specification and verification of an automotive system
Requirements of an integrated formal method for intelligent swarms
DragTapVib: An On-Skin Electromagnetic Drag, Tap, and Vibration Actuator for Wearable Computing
GPS-aided recognition-based user tracking system with augmented reality in extreme large-scale areas
Echo: a practical approach to formal verification
Scheduling vehicle between origin and destination to maximize traveler satisfaction
A geo-location based opportunistic data dissemination approach for MANETs
Instantiating generic charts for Railway Interlocking Systems
Power management techniques for very low consumption and EMI reduction in automotive applications