Verification of the UpDown Scheme.

Johannes Hölzl

Published in: Arch. Formal Proofs (2015)

Keyphrases

detection scheme
learning scheme
classification scheme
model checking
high security
information retrieval
image processing
case study
multiscale
machine learning
knowledge base
computer vision
face verification
representation scheme
formal methods
genetic algorithm
formal verification