371 search results - page 11 / 75 » Pushdown Automata Simulator |
105
Voted
LMCS
2006
15 years 1 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
123
click to vote
FSTTCS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
WIA
2007
Springer
15 years 7 months ago
2007
Springer
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE