A Model of PCF in Guarded Type Theory.
Marco PaviottiRasmus Ejlers MøgelbergLars BirkedalPublished in: MFPS (2015)
Keyphrases
- computational model
- theoretical foundation
- statistical model
- mathematical model
- theoretical framework
- prior knowledge
- probabilistic model
- agent model
- formal model
- computational models
- management system
- knowledge representation
- search algorithm
- image sequences
- case study
- classification algorithm
- experimental data
- conceptual model
- sensitivity analysis
- feature selection
- social networks
- neural network
- data sets