5216 search results - page 359 / 1044 » Planning as Model Checking |
119
click to vote
WSC
2004
15 years 6 months ago
2004
This paper presents a method for allocating production capacity among flexible and dedicated machines based on uncertain demand forecasts of products in a production portfolio. Gi...
122
click to vote
CCE
2004
15 years 4 months ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
177
click to vote
ER
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
138
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We consider a queueing system composed of queues distributed at fixed locations in a continuous environment and a mobile server serving the jobs in the queues with spatially v...
135
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...