Verification of a Heat Diffusion Simulation Written with Orléans Skeleton Library.

Noman Javed Frédéric Loulergue

Published in: PPAM (2) (2011)

Keyphrases

heat diffusion
simulation model
face recognition
feature extraction
simulation environment
shape analysis
formal verification
data sets
utility function
binary images
facial images
mathematical model
shape representation
face verification
subspace methods
decision making
face identification
genetic algorithm