1029 search results - page 62 / 206 » Probabilistic Recurrence Relations |
119
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
135
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
139
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
156
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
128
click to vote
SSPR
2004
Springer
15 years 8 months ago
2004
Springer
We present a probabilistic graphical model for point set matching. By using a result about the redundancy of the pairwise distances in a point set, we represent the binary relation...