Deduction soundness: prove one, get five for free.

Florian Böhl Véronique Cortier Bogdan Warinschi

Published in: CCS (2013)

Keyphrases

automated deduction
image sequences
theorem proving
special case
multiresolution
evolutionary algorithm
preprocessing
cooperative
multiscale
database
case study
multimedia
computer vision
search engine
genetic algorithm
databases
data sets