932 search results - page 133 / 187 » Verifying Progress in Timed Systems |
IJCAI
1997
13 years 10 months ago
1997
Planning for real-time applications involves decisions not only about what actions to take in what states to progress toward achieving goals (the traditional decision problem face...
MICCAI
2002
Springer
14 years 10 months ago
2002
Springer
The most attractive feature of 2D B-mode ultrasound for intra-operative use is that it is both a real time and a highly interactive modality. Most 3D freehand reconstruction method...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— We consider the problem of robotic object detection of such objects as mugs, cups, and staplers in indoor environments. While object detection has made significant pro...
C5
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper, referring to a work in progress, describes functional elements of the user interface of a Virtual World that may provide an important contribution to the process by wh...