Login / Signup
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