557 search results - page 61 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
152
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
168
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
179
Voted
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper a novel system for automatic detection and segmentation of focal liver lesions in CT images is presented. It utilizes a probabilistic boosting tree to clas...
151
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
200
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...