A Semantic Model of Types and Machine Instuctions for Proof-Carrying Code.
Andrew W. AppelAmy P. FeltyPublished in: POPL (2000)
Keyphrases
- mathematical model
- high level
- neural network model
- theoretical analysis
- probabilistic model
- objective function
- management system
- data sets
- semantic models
- statistical model
- computational model
- np hard
- open source
- em algorithm
- natural language
- image sequences
- social networks
- machine learning
- neural network
- formal model
- context dependent
- autoregressive
- semantic description
- database