Sciweavers

1897 search results - page 338 / 380
» Conditional Linear Planning
Sort
View
EOR
2007
272views more  EOR 2007»
13 years 11 months ago
A dynamic logistics coordination model for evacuation and support in disaster response activities
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
Wei Yi, Linet Özdamar
PRESENCE
2008
110views more  PRESENCE 2008»
13 years 11 months ago
Modeling of Tool-Tissue Interactions for Computer-Based Surgical Simulation: A Literature Review
Surgical simulators present a safe and potentially effective method for surgical training, and can also be used in robot-assisted surgery for pre- and intra-operative planning. Ac...
Sarthak Misra, K. T. Ramesh, Allison M. Okamura
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
13 years 11 months ago
Bound analysis of closed queueing networks with workload burstiness
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 9 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
JAIR
2010
77views more  JAIR 2010»
13 years 9 months ago
Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
E. H. Durfee Wu, Edmund H. Durfee