Search Sciweavers | Sciweavers

113 search results - page 7 / 23

» 2-Visibly Pushdown Automata

130

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

15 years 10 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 »

120

click to vote

EDUTAINMENT
2009
Springer

337views Machine Learning» more EDUTAINMENT 2009»

Pushdown Automata Simulator

15 years 10 months ago

Download homepage.uibk.ac.at

Mohamed Hamada

claim paper

Read More »

108

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

On the Memory Consumption of Probabilistic Pushdown Automata

15 years 10 months ago

Download www7.in.tum.de

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

claim paper

Read More »

Voted

WIA
2007
Springer

134views Artificial Intelligence» more WIA 2007»

Regulated Nondeterminism in Pushdown Automata

15 years 9 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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers