5216 search results - page 252 / 1044 » Planning as Model Checking |
130
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
161
click to vote
TC
2010
14 years 11 months ago
2010
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
181
click to vote
ALPIT
2008
IEEE
15 years 11 months ago
2008
IEEE
The existing studies of a dialogue system can be classified into two major parts. One is a study for a practical system, and the other is a study to understand a principal of dial...
155
click to vote
AAAI
2007
15 years 6 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
245
click to vote
CISIS
2011
IEEE
14 years 4 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...