Sciweavers

127 search results - page 24 / 26
» Stochastic Ambient Calculus
Sort
View
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
13 years 1 months ago
Dynamic reconfiguration of terminal airspace during convective weather
Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows...
Diana Michalek, Hamsa Balakrishnan
INFOCOM
2011
IEEE
12 years 10 months ago
Networking low-power energy harvesting devices: Measurements and algorithms
—Recent advances in energy harvesting materials and ultra-low-power communications will soon enable the realization of networks composed of energy harvesting devices. These devic...
Maria Gorlatova, Aya Wallwater, Gil Zussman
HICSS
2007
IEEE
103views Biometrics» more  HICSS 2007»
14 years 18 days ago
A Convolution Algorithm for Evaluating Supply Chain Delivery Performance
The effective management of a supply chain requires performance measures that accurately represent the underlying structure of the supply chain. Measures such as delivery performa...
Alfred L. Guiffrida, Robert A. Rzepka, Mohamad Y. ...
IJCAI
2001
13 years 7 months ago
Symbolic Dynamic Programming for First-Order MDPs
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
Craig Boutilier, Raymond Reiter, Bob Price
AIPS
2009
13 years 7 months ago
Computing Robust Plans in Continuous Domains
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
Christian Fritz, Sheila A. McIlraith