Quadratic Extensions in ACL2.

Ruben Gamboa John R. Cowles Woodrow Gamboa

Published in: ACL2 (2020)

Keyphrases

pairwise
natural language learning
efficient implementation
objective function
knowledge representation
learning algorithm
decision making
hidden markov models
neural network
machine learning
image segmentation
computational complexity