Sciweavers

1029 search results - page 33 / 206
» Probabilistic Recurrence Relations
Sort
View
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 3 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
ICTIR
2009
Springer
15 years 26 days ago
Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
Corrado Boscarino, Arjen P. de Vries
ENTCS
2007
123views more  ENTCS 2007»
15 years 3 months ago
Labelled Markov Processes as Generalised Stochastic Relations
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
Michael W. Mislove, Dusko Pavlovic, James Worrell
145
Voted
ICML
2009
IEEE
16 years 3 months ago
Approximate inference for planning in stochastic relational worlds
Relational world models that can be learned from experience in stochastic domains have received significant attention recently. However, efficient planning using these models rema...
Tobias Lang, Marc Toussaint
TCS
2010
14 years 9 months ago
Weak bisimulation for Probabilistic Timed Automata
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...