1980 search results - page 128 / 396 » Compositional Model Checking of Real Time Systems |
110
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes an active-camera real-time system for tracking, shape description, and classification of the human face and mouth using only an SGI Indy computer. The system...
137
click to vote
ICRA
1993
IEEE
15 years 5 months ago
1993
IEEE
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
112
click to vote
DICTA
2003
2003
Real-Time Detection, Registration and Recognition Using Pixel-Level Fusion of Active/Passive Imagery
15 years 3 months ago
- A system has been developed whereby active ladar and passive electro-optic imaging data are aligned in hardware at the pixel level. ...
174
click to vote
CAINE
2010
14 years 11 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
148
click to vote
SCP
2000
15 years 1 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...