From Verification to Optimizations.

Rigel Gjomemo Kedar S. Namjoshi Phu H. Phung V. N. Venkatakrishnan Lenore D. Zuck

Published in: VMCAI (2015)

Keyphrases

model checking
person identification
databases
concurrent systems
signature verification
artificial intelligence
learning algorithm
knowledge base
multimedia
similarity measure
multi agent
video sequences
user interface
face verification
formal methods
formal analysis
genetic algorithm
database