503 search results - page 67 / 101 » Real-time Property Preservation in Approximations of Timed S... |
MIAR
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
TSMC
2010
13 years 2 months ago
2010
Abstract--For the last decade, we have developed a visionbased architecture for mobile robot navigation. Our bio-inspired model of the navigation has proved to achieve sensory-moto...
EUSFLAT
2003
13 years 9 months ago
2003
The Hough Transform [6] -HT- is a standard tool in image analysis that allows recognizing global patterns in an image space. To detect shapes in noisy data, preserving the idea of...
IANDC
2007
13 years 7 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
NIPS
2007
13 years 9 months ago
2007
Planning in partially observable environments remains a challenging problem, despite significant recent advances in offline approximation techniques. A few online methods have a...