CELL: A Compositional Verification Framework.

Kun Ji Yang Liu Shang-Wei Lin Jun Sun Jin Song Dong Truong Khanh Nguyen

Published in: ATVA (2013)

Keyphrases

main contribution
genetic algorithm
data sets
image processing
website
three dimensional
face recognition
video sequences
feature space
expert systems
multiresolution
computational model
theoretical framework
key features
bayesian framework
computational framework