Login / Signup

The Very Lazy λ-Calculus and the STEC Machine.

Jan Rochel
Published in: IFL (2009)
Keyphrases
  • genetic algorithm
  • batch processing
  • feature selection
  • lazy learning
  • databases
  • neural network
  • machine learning
  • artificial intelligence
  • image sequences
  • expert systems
  • automated theorem proving