5216 search results - page 635 / 1044 » Planning as Model Checking |
163
click to vote
WSC
2001
15 years 8 months ago
2001
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...
184
click to vote
AIPS
2009
15 years 7 months ago
2009
Solving multiagent planning problems modeled as DECPOMDPs is an important challenge. These models are often solved by using dynamic programming, but the high resource usage of cur...
166
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
187
Voted
ATMOS
2010
15 years 5 months ago
2010
Train Routing is a problem that arises in the early phase of the passenger railway planning process, usually several months before operating the trains. The main goal is to assign...
206
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...