Improved Ramsey-Based Büchi Complementation.

Stefan Breuers Christof Löding Jörg Olschewski

Published in: FoSSaCS (2012)

Keyphrases

image processing
database
databases
neural network
decision trees
three dimensional
database systems
image sequences
pattern recognition