163 search results - page 7 / 33 » An Introduction to Probabilistic Automata |
FORTE
2007
15 years 1 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
90
Voted
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
FOCS
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...