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