A Framework for Formal Reasoning about Geometrical Optics.

Umair Siddique Sofiène Tahar

Published in: CICM (2014)

Keyphrases

formal model
main contribution
framework enables
key features
data sets
data mining
genetic algorithm
feature selection
face recognition
search algorithm
data model
meta level