5216 search results - page 505 / 1044 » Planning as Model Checking |
201
Voted
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Surgical simulation is a promising technology for training medical students and planning procedures. One major requirement for these simulation systems is a method to generate real...
141
Voted
WSC
2004
15 years 8 months ago
2004
Staffing decisions in a consumer credit origination environment have a significant impact on the financial institution's costs as well as customer service levels. Staff resou...
139
Voted
WSC
2000
15 years 8 months ago
2000
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
167
Voted
SBP
2010
Springer
15 years 10 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
156
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation of wildland fire suppression is useful to evaluate deployment plans of firefighting resources and to experiment different fire suppression strategies and tactics. Previ...