Certified Synthesis of Efficient Batch Verifiers.

Joseph A. Akinyele Gilles Barthe Benjamin Grégoire Benedikt Schmidt Pierre-Yves Strub

Published in: CSF (2014)

Keyphrases

image quality
data mining
program synthesis
computer vision
information systems
multimedia
evolutionary algorithm
lightweight