The Validation and Verification of WSCDL.

Geguang Pu Jianqi Shi Zheng Wang Lu Jin Jing Liu Jifeng He

Published in: APSEC (2007)

Keyphrases

formal verification
face verification
artificial intelligence
model validation
neural network
search engine
image sequences
special case
decision making
formal methods
face detection
medical images
lower bound
database
feature selection
information systems
genetic algorithm
databases
data sets