C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A step-indexed model of substructural state.
Amal J. Ahmed
Matthew Fluet
Greg Morrisett
Published in:
ICFP (2005)
Keyphrases
</>
management system
computational model
search engine
high level
mathematical model
statistical model
closed form
machine learning
hidden markov models
probability distribution
parameter estimation
conceptual model
neural network model