Certification of Bounds of Non-linear Functions: The Templates Method.

Xavier Allamigeon Stéphane Gaubert Victor Magron Benjamin Werner

Published in: MKM/Calculemus/DML (2013)

Keyphrases

pairwise
significant improvement
neural network
high precision
prior knowledge
experimental evaluation
optimization algorithm
fourier series
fully automatic
basis functions
energy function
detection algorithm
high accuracy
multiresolution
similarity measure
feature extraction
decision trees