613 search results - page 57 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We propose a new scheme for novelty detection in image sequences capable of handling non-stationary background scenarious, such as waving trees, rain and snow. Novelty de...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
PVG
2003
IEEE
14 years 28 days ago
2003
IEEE
A number of problems are well suited for volumetric representation for both simulation and storage, however, the large amount of data that needs to be processed and rendered with ...