5216 search results - page 245 / 1044 » Planning as Model Checking |
119
click to vote
AIPS
2003
15 years 5 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...
154
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
133
click to vote
ENDM
2000
15 years 4 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
172
click to vote
ISDA
2010
IEEE
15 years 2 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
115
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In many real-world planning scenarios, the users are interested in optimizing multiple objectives (such as makespan and execution cost), but are unable to express their exact trad...