Bounded underapproximations.

Pierre Ganty Rupak Majumdar Benjamin Monmege

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

databases
information retrieval
feature selection
computer vision
information systems
image processing
database systems
pattern recognition
email
hidden markov models