Verification of Identities.

Sridhar Rajagopalan Leonard J. Schulman

Published in: SIAM J. Comput. (2000)

Keyphrases

model checking
face verification
formal analysis
relational databases
verification method
database
data sets
neural network
genetic algorithm
multimedia
image segmentation
multiscale
digital images
formal methods
functional verification