A Filter Lambda Model and the Completeness of Type Assignment.
Henk BarendregtMario CoppoMariangiola Dezani-CiancagliniPublished in: J. Symb. Log. (1983)
Keyphrases
- high level
- probabilistic model
- machine learning
- similarity measure
- cost function
- management system
- experimental data
- database
- objective function
- theoretical analysis
- parameter estimation
- computational model
- object model
- formal model
- bayesian framework
- neural network model
- mathematical model
- theoretical framework
- markov chain
- fuzzy sets
- hidden markov models
- face recognition