Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection.

Arnaud Carayol Olivier Serre

Published in: LICS (2012)

Keyphrases

real time
high quality
cellular automata
data sets
databases
database systems
training data
multiscale
multi agent
pairwise
evolutionary algorithm
supervised learning
computationally efficient
text categorization
finite automata