Sciweavers

5757 search results - page 82 / 1152
» Dynamic Policy Programming
Sort
View
142
Voted
NIPS
2008
15 years 6 months ago
MDPs with Non-Deterministic Policies
Markov Decision Processes (MDPs) have been extensively studied and used in the context of planning and decision-making, and many methods exist to find the optimal policy for probl...
Mahdi Milani Fard, Joelle Pineau
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 11 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
IOR
2006
118views more  IOR 2006»
15 years 4 months ago
A Stochastic Programming Approach to Power Portfolio Optimization
The DASH model for Power Portfolio Optimization provides a tool which helps decision-makers coordinate production decisions with opportunities in the wholesale power market. The m...
Suvrajeet Sen, Lihua Yu, Talat Genc
ADC
2005
Springer
104views Database» more  ADC 2005»
15 years 10 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah
138
Voted
IROS
2007
IEEE
127views Robotics» more  IROS 2007»
15 years 11 months ago
Dynamic redistribution of a swarm of robots among multiple sites
Abstract— We present an approach for the dynamic assignment and reassignment of a large team of homogeneous robotic agents to multiple locations with applications to search and r...
Ádám M. Halász, M. Ani Hsieh,...