On Symbolic Verification of Weakly Extended PAD.

Ahmed Bouajjani Jan Strejcek Tayssir Touili

Published in: EXPRESS (2006)

Keyphrases

computer vision
database
databases
bayesian networks
data structure
model checking
face verification
information systems
case study
three dimensional
similarity measure
search algorithm
expert systems
verification method
helmholtz principle