Profile Trees for Büchi Word Automata, with Application to Determinization.

Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke

Published in: GandALF (2013)

Keyphrases

decision trees
keywords
tree automata
real time
information retrieval
decision support
application specific
search engine
data model
markov chain
user profiles
n gram
finite state