163 search results - page 7 / 33 » An Introduction to Probabilistic Automata |
FORTE
2007
13 years 9 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
13 years 11 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
ICIP
2005
IEEE
14 years 9 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
14 years 1 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
13 years 12 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...