Toward a Practical Module System for ACL2.

Carl Eastlund Matthias Felleisen

Published in: PADL (2009)

Keyphrases

data sets
real world
real time
machine learning
website
data mining
computer vision
decision making
case study
database systems
multiscale
multiresolution