Iteration in ACL2.

Matt Kaufmann J. Strother Moore

Published in: ACL2 (2020)

Keyphrases

objective function
natural language learning
iterative process
clustering algorithm
reinforcement learning
management system
line search
information retrieval
computer vision
feature selection
three dimensional
bayesian networks
computer science
data model
stopping criterion