Translating to Co-Büchi Made Tight, Unified, and Useful.

Udi Boker Orna Kupferman

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

lower bound
upper bound
unified model
case study
worst case
multiscale
image retrieval
text classification
data sets
genetic algorithm
metadata
image processing
support vector
natural language
np hard