Parametrized Verification Diagrams.

Alejandro Sánchez César Sánchez

Published in: TIME (2014)

Keyphrases

model checking
computer vision
image processing
formal verification
three dimensional
fingerprint verification
graphical representations
verification method
functional verification
multiscale
evolutionary algorithm
face verification
high security