3387 search results - page 529 / 678 » Model-Checking for Real-Time Systems |
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
ICCBR
1999
Springer
14 years 2 months ago
1999
Springer
In response to the occurrence of an air incident, controllers at one of the three Canadian Rescue Coordination Centers (RCC) must make a series of critical decisions on the appropr...
FGR
1998
IEEE
14 years 2 months ago
1998
IEEE
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
MM
1996
ACM
14 years 2 months ago
1996
ACM
This paper presents recent work on a multimedia retrieval project at Cambridge University and Olivetti Research Limited ORL. We present novel techniques that allow extremely rapid...
SIGGRAPH
1996
ACM
14 years 2 months ago
1996
ACM
The VC-1 is a parallel graphics machine for polygon rendering based on image composition. This paper describes the architecture of the VC-1 along with a parallel polygon rendering...