Model Completions, r-Heyting Categories.
Silvio GhilardiMarek W. ZawadowskiPublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- experimental data
- probabilistic model
- computational model
- formal model
- statistical model
- mathematical model
- theoretical analysis
- object model
- prediction model
- sensitivity analysis
- hierarchical structure
- data sets
- markov random field
- artificial neural networks
- face recognition
- image segmentation
- decision trees
- information systems
- neural network