5216 search results - page 515 / 1044 » Planning as Model Checking |
163
click to vote
AIPS
2009
15 years 8 months ago
2009
Distributed POMDPs provide an expressive framework for modeling multiagent collaboration problems, but NEXPComplete complexity hinders their scalability and application in real-wo...
171
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
197
click to vote
EAAI
2008
15 years 7 months ago
2008
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
142
click to vote
IJON
2007
15 years 6 months ago
2007
A biophysical cortico-colicular model of saccade initiation based on competitive integration of planned and reactive cortical saccade decision signals in the intermediate layer of...
161
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...