2116 search results - page 16 / 424 » On Probabilistic Alternating Simulations |
MFCS
2001
Springer
14 years 2 months ago
2001
Springer
We describe an explicit simulation of 2-way nondeterministic automata by 1-way alternating automata with quadratic blow-up. We first describe the construction for automata on fin...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
We present a method for obtaining quantitative images from dual energy X-ray CT measurements. We adopt a statistical model for the data and reconstruct images by maximizing the lo...
CAV
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract –The access link contention can severely constrain the endto-end throughput of the path between a source and destination mobile node connected through the backbone of th...