Nested Emptiness Search for Generalized Büchi Automata.

Heikki Tauriainen

Published in: ACSD (2004)

Keyphrases

search algorithm
search space
query formulation
search strategy
monte carlo search
search efficiency
video sequences
search tools
real time
search queries
constraint satisfaction problems
tree automata
cellular automata
hidden markov models
lower bound
feature selection
search engine
data sets