Sound Approximation of Programs with Elementary Functions.

Eva Darulova Anastasia Volkova

Published in: CoRR (2018)

Keyphrases

elementary functions
gabor filters
approximation algorithms
error bounds
fixpoint
closed form
relative error
approximation error
feature selection
morphological operators
approximation methods
automatic programming