5216 search results - page 437 / 1044 » Planning as Model Checking |
153
Voted
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
— This paper offers a path planning algorithm based on splines. The sought path avoids the obstacles, and is smooth and short. Smoothing is used as an integral part of the algori...
145
click to vote
ICTAI
2003
IEEE
16 years 1 days ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
179
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
160
click to vote
AH
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents an approach that uses the techniques of plan recognition not only to infer short-term plans and goals, but also to infer the long-term procedural know...
117
click to vote
KBS
2007
15 years 6 months ago
2007
Restaurant table management can have significant impact on both profitability and the customer experience. The core of the issue is a complex dynamic combinatorial problem. We sho...