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