Mechanical Verification of Hypercube Algorithms.

Eric Gascard Laurence Pierre

Published in: IPDPS (2002)

Keyphrases

learning algorithm
computationally expensive
times faster
computationally efficient
orders of magnitude
computational complexity
theoretical analysis
recently developed
efficient implementation
neural network
decision trees
computational cost
optimization problems
significant improvement
computational efficiency