325 search results - page 25 / 65 » Structured Reachability Analysis for Markov Decision Process... |
129
click to vote
JAIR
2006
15 years 3 months ago
2006
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
141
Voted
ENTCS
2008
15 years 4 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
141
click to vote
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
159
click to vote
BIOCOMP
2010
15 years 2 months ago
2010
- We present a novel hierarchical modular decision engine for lung nodule detection from CT images implemented by Artificial Neural Networks. The proposed Computer Aided Detection ...
142
Voted
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...