20511 search results - page 191 / 4103 » On the level |
187
click to vote
CAMP
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...
162
click to vote
CODES
2005
IEEE
16 years 8 days ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
171
click to vote
ISM
2005
IEEE
16 years 6 days ago
2005
IEEE
As the demands on quality of service (QoS) of real-time applications over the Internet increase, many research efforts have developed various packet scheduling schemes to support ...
155
click to vote
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
16 years 6 days ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
216
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...