Login / Signup
Verification of the Completeness of Unification Algorithms à la Robinson.
Andréia B. Avelar
Flávio L. C. de Moura
André Luiz Galdino
Mauricio Ayala-Rincón
Published in:
WoLLIC (2010)
Keyphrases
</>
computational cost
databases
computationally efficient
machine learning algorithms
orders of magnitude
graph theory
neural network
computer vision
data structure
significant improvement
classification algorithm
times faster
machine learning
computationally expensive
convergence rate