5216 search results - page 578 / 1044 » Planning as Model Checking |
172
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
The growing importance of Web traffic on the Internet makes it important that we have accurate traffic models in order to plan and provision. In this paper we present a Web traffi...
191
click to vote
SCAI
2008
15 years 8 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
210
click to vote
AAAI
2000
15 years 8 months ago
2000
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
160
click to vote
ECML
2005
Springer
16 years 11 days ago
2005
Springer
This paper examines the problem of finding an optimal policy for a Partially Observable Markov Decision Process (POMDP) when the model is not known or is only poorly specified. W...
167
click to vote
AIPS
2003
15 years 8 months ago
2003
A multi-heuristic schedule repair model for schedule conflict resolution is presented and its application in repairing the schedules of a prefabrication plant is described in this...