5216 search results - page 368 / 1044 » Planning as Model Checking |
166
click to vote
AAAI
2008
15 years 7 months ago
2008
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
148
click to vote
AIPS
2009
15 years 6 months ago
2009
We propose an online algorithm for planning under uncertainty in multi-agent settings modeled as DEC-POMDPs. The algorithm helps overcome the high computational complexity of solv...
131
click to vote
HAIS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an application of Differential Evolution (DE) to determine optimal crop plan for command area of Pamba-Achankovil-Vaippar (PAV) link project, so as to maximize ...
145
click to vote
ESIAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Through analysis of present pseudo-parallel genetic algorithm, propose a new dynamic sub-population pseudo-parallel genetic algorithm. It changes the condition that the magnitude o...
176
click to vote
AAAI
2011
14 years 5 months ago
2011
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...