A model for comparing the space usage of lazy evaluators.

Adam Bakewell Colin Runciman

Published in: PPDP (2000)

Keyphrases

mathematical model
computational model
probabilistic model
machine learning
prior knowledge
probability distribution
management system
space time
statistical model
neural network model
objective function
cost function
model selection
theoretical framework
process model