142 search results - page 28 / 29 » An Algorithm for Locating Logic Design Errors |
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
In this paper, we present a vision system for object recognition in aerial images, which enables broader mission profiles for Micro Air Vehicles (MAVs). The most important factors ...
SCP
2010
13 years 5 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
We consider the problem of selecting an optimal set of sensors, as determined, for example, by the predictive accuracy of the resulting sensor network. Given an underlying metric ...
MM
2005
ACM
14 years 27 days ago
2005
ACM
In this paper, we study how a sensor-rich world can be exploited by digital recording devices such as cameras and camcorders to improve a user’s ability to search through a larg...
EMNETS
2007
13 years 11 months ago
2007
The node localization problem in Wireless Sensor Networks has received considerable attention, driven by the need to obtain a higher location accuracy without incurring a large, p...