1614 search results - page 86 / 323 » Planning as Temporal Reasoning |
248
click to vote
ICDE
1998
IEEE
16 years 7 months ago
1998
IEEE
In this paper, we consider a distributed video server environment where video movies need not be stored entirely in one server. Blocks of a video movie are allowed to be distribut...
210
click to vote
DSOM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
157
click to vote
ICRA
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
194
click to vote
AAAI
2011
14 years 6 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...
172
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...