2005 search results - page 38 / 401 » Decisive Markov Chains |
109
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
121
click to vote
RIAO
2007
15 years 2 months ago
2007
Document expansion and query expansion aim to add related terms into document and query representations in order to make them more complete. However, most previous studies are lim...
122
click to vote
AAAI
2004
15 years 2 months ago
2004
Based on the probabilistic reformulation of principal component analysis (PCA), we consider the problem of determining the number of principal components as a model selection prob...
118
click to vote
UAI
2001
15 years 2 months ago
2001
We present an iterative Markov chain Monte Carlo algorithm for computing reference priors and minimax risk for general parametric families. Our approach uses MCMC techniques based...
114
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...