Büchi Complementation and Size-Change Termination.

Seth Fogarty Moshe Y. Vardi

Published in: TACAS (2009)

Keyphrases

neural network
machine learning
scales linearly
real time
information retrieval
multiscale
data streams
maximum number
small size