Sciweavers

5757 search results - page 82 / 1152
» Dynamic Policy Programming
Sort
View
121
Voted
NIPS
2008
15 years 4 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
116
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 9 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 2 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 8 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
116
Voted
IROS
2007
IEEE
127views Robotics» more  IROS 2007»
15 years 9 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,...