Login / Signup

Scalable Formal Machine Models.

Greg Morrisett
Published in: CPP (2012)
Keyphrases
  • complex systems
  • computational models
  • formal models
  • real time
  • neural network
  • real world
  • genetic algorithm
  • learning environment
  • prior knowledge
  • model selection
  • statistical model
  • statistical models
  • parametric models