5216 search results - page 713 / 1044 » Planning as Model Checking |
141
click to vote
WSC
2007
15 years 9 months ago
2007
Planning and steering numerical experiments that involve many simulations are difficult tasks to automate. We describe how a simulation scheduling tool can help experimenters sub...
158
click to vote
WSC
2007
15 years 9 months ago
2007
“See and Treat” in an Emergency Department combines the process of patient assessment with treatment in the expectation that it will increase patient throughput and decrease q...
169
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents a new method to identify and rank the bottlenecks in a manufacturing system. The proposed method is based on performance related data that are easy to capture,...
302
click to vote
WSC
2007
15 years 9 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
186
click to vote
WSC
2008
15 years 9 months ago
2008
In an assembly line with high labor proportion, the workforce planning and scheduling is a very complex problem. At the background of increasing labor costs, it is very important ...