Provably correct derivation of algorithms using FermaT.

Martin P. Ward Hussein Zedan

Published in: Formal Aspects Comput. (2014)

Keyphrases

provably correct
orders of magnitude
computationally efficient
learning algorithm
lower bound
optimization problems
computer vision
black box
neural network
search algorithm
computational complexity
significant improvement
data structure
theoretical analysis
computationally expensive
recently developed
metamodel