135 search results - page 2 / 27 » Dynamic Workflow Composition using Markov Decision Processes |
AI
2008
Springer
13 years 4 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
FGR
2006
IEEE
13 years 10 months ago
2006
IEEE
While there has been a great deal of research in face detection and recognition, there has been very limited work on identifying the expression on a face. Many current face detect...
PAMI
2007
13 years 4 months ago
2007
—This paper presents a method for learning decision theoretic models of human behaviors from video data. Our system learns relationships between the movements of a person, the co...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...