On Computing Minimal Equivalent Subformulas.

Anton Belov Mikolás Janota Inês Lynce João Marques-Silva

Published in: CP (2012)

Keyphrases

real world
information retrieval
learning algorithm
databases
machine learning
artificial intelligence
computer vision
multimedia
three dimensional
similarity measure
object recognition
multiresolution
hidden markov models