2299 search results - page 151 / 460 » Inference and Learning in Planning |
164
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
165
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
We introduce a disaster simulation system that supports collaborative planning of disaster measures. While several simulation tools are available for examination and evaluation of...
173
click to vote
AIPS
2006
15 years 8 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
238
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Partially observable Markov decision processes (POMDPs) are widely used for planning under uncertainty. In many applications, the huge size of the POMDP state space makes straightf...
177
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...