How to Prove Algorithms Linearisable.

Gerhard Schellhorn Heike Wehrheim John Derrick

Published in: CAV (2012)

Keyphrases

learning algorithm
computational complexity
optimization problems
computationally efficient
machine learning algorithms
computational efficiency
data sets
neural network
computer vision
multiscale
significant improvement
computational cost
multi class
worst case
computationally expensive
efficient implementation