Sciweavers

163 search results - page 2 / 33
» An Introduction to Probabilistic Automata
Sort
View

Book
469views
15 years 6 months ago
Active contours
A nice book about active contours if you are familiar with snakes. The book also has a good introduction about spline.
Andrew Blake, Michael Isard
ALT
2005
Springer
14 years 4 months ago
Learnability of Probabilistic Automata via Oracles
Efficient learnability using the state merging algorithm is known for a subclass of probabilistic automata termed µ-distinguishable. In this paper, we prove that state merging alg...
Omri Guttman, S. V. N. Vishwanathan, Robert C. Wil...
CORR
2011
Springer
171views Education» more  CORR 2011»
13 years 2 months ago
A Class of Probabilistic Automata with a Decidable Value 1 Problem
The value 1 problem is a decision problem for probabilistic automata on finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril...
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Ou...
TAMC
2009
Springer
14 years 2 months ago
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
Jasper Berendsen, Taolue Chen, David N. Jansen
CONCUR
2003
Springer
14 years 27 days ago
Compositionality for Probabilistic Automata
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage...