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