932 search results - page 118 / 187 » Verifying Progress in Timed Systems |
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Lately the advances in centralized database management systems show a trend towards supporting rank-aware query operators, like top-k, that enable users to retrieve only the most ...
ACII
2007
Springer
14 years 4 months ago
2007
Springer
Affective reasoning has been the subject of increasing attention in recent years. Because negative affective states such as frustration and anxiety can impede progress toward learn...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper presents the Visual Threat Awareness (VISTA) system for real time collision obstacle detection for an unmanned air vehicle (UAV). Computational stereo performance ha...
RTSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Pfair algorithms are optimal for independent periodic real-time tasks executing on a multiple-resource system, however, they incur a high scheduling overhead by making schedul...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...