Verification of Distributed Applications.

Bruno Langenstein Andreas Nonnengart Georg Rock Werner Stephan

Published in: SAFECOMP (2007)

Keyphrases

model checking
face verification
multimedia
computer vision
fingerprint verification
verification method
database
data sets
artificial intelligence
feature extraction
video sequences
information technology
special case
hidden markov models
formal methods