21319 search results - page 3780 / 4264 » An Approach for Method Reengineering |
201
click to vote
JAIR
2006
15 years 7 months ago
2006
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...
222
click to vote
JALC
2006
15 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
220
click to vote
CSL
2007
Springer
15 years 7 months ago
2007
Springer
In a spoken dialog system, determining which action a machine should take in a given situation is a difficult problem because automatic speech recognition is unreliable and hence ...
156
click to vote
CVIU
2007
15 years 7 months 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...
180
click to vote
CVIU
2007
15 years 7 months ago
2007
We consider detection of moving ground vehicles in airborne sequences recorded by a thermal sensor with automatic gain control, using an approach that integrates dense optic flow...