Login / Signup
A List-Machine Benchmark for Mechanized Metatheory.
Andrew W. Appel
Robert Dockins
Xavier Leroy
Published in:
J. Autom. Reason. (2012)
Keyphrases
</>
database
data sets
real world
website
object recognition
image segmentation
three dimensional
feature extraction
probability distribution
batch processing