Comparison of Algorithms for Checking Emptiness on Buechi Automata

Andreas Gaiser Stefan Schwoon

Published in: CoRR (2009)

Keyphrases

recently developed
computational cost
orders of magnitude
learning algorithm
information systems
data structure
significant improvement
theoretical analysis
data mining algorithms
real time
computer vision
knowledge base
association rules
database
worst case
computationally efficient
cellular automata
times faster