7167 search results - page 249 / 1434 » A Technique for Invariant Generation |
211
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
189
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Expressing spatial information with iconic gestures is abundant in human communication and requires to transform a referent representation into resembling gestural form. This task ...
179
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
154
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper gives new motion generation methods for mechanical port-Hamiltonian systems. First, we propose a generation method based on an asymptotic stabilization method withou...
188
click to vote
FASE
2005
Springer
16 years 24 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...