A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract).

Andrew W. Appel Xavier Leroy

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

extended abstract
databases
video sequences
comparative analysis
batch processing
benchmark suite
genetic algorithm
image processing
bayesian networks
object recognition
ranked list