Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.

Christof Löding Anton Pirogov

Published in: ICALP (2019)

Keyphrases

data sets
artificial neural networks
text categorization
real time
information retrieval
search engine
feature selection
decision making
database systems
support vector
relational databases
cellular automata
pros and cons