5216 search results - page 719 / 1044 » Planning as Model Checking |
181
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
162
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
This paper proposes a model of approach behavior with which a robot can initiate conversation with people who are walking. We developed the model by learning from the failures in ...
148
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In previous work [8] a computational framework was demonstrated that allows a mobile robot to autonomously evolve models its own body for the purposes of adaptive behavior generat...
192
click to vote
IIWAS
2008
15 years 8 months ago
2008
Supply chains have evolved to web-applications that tap on the power of internet to expand their networks online. Recently some research attention is focused on make-to-order supp...
186
click to vote
AAAI
2004
15 years 8 months ago
2004
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...