State of Büchi Complementation.

Ming-Hsien Tsai Seth Fogarty Moshe Y. Vardi Yih-Kuen Tsay

Published in: CIAA (2010)

Keyphrases

preprocessing
real time
information retrieval
finite state machines
databases
objective function
multi agent
object recognition
feature space
probabilistic model
state space
management system
information gain