A Model of Type Theory in Cubical Sets.
Marc BezemThierry CoquandSimon HuberPublished in: TYPES (2013)
Keyphrases
- computational model
- theoretical framework
- theoretical analysis
- mathematical model
- probabilistic model
- maximum likelihood
- formal model
- theoretical foundation
- statistical model
- network model
- cost function
- prior knowledge
- similarity measure
- high level
- parameter estimation
- prediction model
- mathematical framework
- information systems
- probability distribution
- image segmentation