78 search results - page 9 / 16 » Reasoning about MDPs as Transformers of Probability Distribu... |
ENTCS
2007
13 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
ECSQARU
2007
Springer
14 years 26 days ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
ESSLLI
2009
Springer
13 years 4 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
CONCUR
1994
Springer
13 years 10 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ISPDC
2010
IEEE
13 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...