3256 search results - page 380 / 652 » Applications of Formal Methods to System Design and Verifica... |
175
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This work proposes and evaluates a sampling algorithm based on wavelet transforms with Coiflets basis to reduce the data sensed in wireless sensor networks applications. The Coiï...
215
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper reviews recent developments in vehicular radar at 60 GHz and above, with a focus on low cost integrated antennas. We investigate a number of radar and communication ante...
187
click to vote
APIN
2002
15 years 6 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
161
click to vote
HAPTICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper describes a preliminary work devoted to the design of a control architecture for a defective haptic interface, i.e. an underactuated haptic interface not able ...
167
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
The need for a real-world driving problem to guide technology development has long been recognised. However, this does not guarantee the identification of requirements for technol...