423 search results - page 29 / 85 » Multi-objective Model Checking of Markov Decision Processes |
130
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
141
Voted
ICMLA
2009
15 years 29 days ago
2009
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
127
click to vote
UAI
1997
15 years 4 months ago
1997
Much recent research in decision theoretic planning has adopted Markov decision processes (MDPs) as the model of choice, and has attempted to make their solution more tractable by...
128
click to vote
AAAI
2008
15 years 5 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
133
click to vote
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...