Effective Normalization Techniques for HOL.

Max Wisniewski Alexander Steen Kim Kern Christoph Benzmüller

Published in: IJCAR (2016)

Keyphrases

data sets
decision trees
formal methods
databases
real world
genetic algorithm
computer vision
clustering algorithm
face recognition
similarity measure
bayesian networks
objective function
cooperative
computational complexity