3387 search results - page 594 / 678 » Model-Checking for Real-Time Systems |
121
Voted
IAJIT
2008
15 years 22 days ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
87
Voted
CGF
2006
15 years 21 days ago
2006
We describe a system for the rapid acquisition of building interiors. In 40 hours, a two member team with a single acquisition device captured a model of the corridors and 20 indi...
103
Voted
JCP
2008
15 years 19 days ago
2008
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...
98
Voted
JAIR
2006
15 years 19 days ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
86
Voted
CVIU
2007
15 years 19 days ago
2007
This paper presents a new robot-vision system architecture for real-time moving object localization. The 6-DOF (3 translation and 3 rotation) motion of the objects is detected and...