5216 search results - page 453 / 1044 » Planning as Model Checking |
162
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....
179
click to vote
3DIM
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a perception system, called Artisan, that semi-automatically builds 3-D models of a robot’s workspace. Range images are acquired with a scanning laser rangefinder an...
186
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The ...
181
click to vote
APCCM
2006
15 years 8 months ago
2006
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...
181
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In this paper, we describe a generation system for spoken dialogue that not only produces coherent, informative and responsive dialogue contributions, but also explicitly models h...