Partial Functions in ACL2.

Panagiotis Manolios J Strother Moore

Published in: J. Autom. Reason. (2003)

Keyphrases

data sets
learning algorithm
computer vision
natural language learning
machine learning
multimedia
search space
multiresolution
data model