Search Sciweavers | Sciweavers

113 search results - page 7 / 23

» 2-Visibly Pushdown Automata

click to vote

QEST
2008
IEEE

145views Modeling and Simulation» more QEST 2008»

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

14 years 1 months ago

Download www.era.lib.ed.ac.uk

We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...

Kousha Etessami, Dominik Wojtczak, Mihalis Yannaka...

claim paper

Read More »

click to vote

EDUTAINMENT
2009
Springer

337views Machine Learning» more EDUTAINMENT 2009»

Pushdown Automata Simulator

14 years 2 months ago

Download homepage.uibk.ac.at

Mohamed Hamada

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

14 years 2 months ago

Download www7.in.tum.de

Tomás Brázdil, Javier Esparza, Stefa...

claim paper

Read More »

click to vote

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

14 years 1 months ago

Download www.stringology.org

Martin Kutrib, Andreas Malcher, Larissa Werlein

claim paper

Read More »

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers