1138 search results - page 113 / 228 » Feature Markov Decision Processes |
105
Voted
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
95
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we investigate the significance of contextual information in a phoneme recognition system using the hidden Markov model - artificial neural network paradigm. Cont...
90
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a discriminative training (DT) approach to irrelevant variability normalization (IVN) based training of feature transforms and hidden Markov models for large v...
98
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
138
Voted
IJRR
2011
14 years 7 months ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...