5216 search results - page 294 / 1044 » Planning as Model Checking |
155
Voted
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
153
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
— For a robot to be able to first understand and then achieve a human’s goals, it must be able to reason about a) the context of the current situation (with respect to which i...
149
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
A “plan diagram” is a pictorial enumeration of the execution plan choices of a database query optimizer over the relational selectivity space. In this paper, we present and an...
135
Voted
IJCAI
2003
15 years 6 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
141
click to vote
JAIR
2008
15 years 4 months ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...