Sign in

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

Andrew W. AppelXavier 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