A homotopy-theoretic model of function extensionality in the effective topos.
Daniil FruminBenno van den BergPublished in: CoRR (2017)
Keyphrases
- prediction model
- mathematical model
- classification models
- high quality
- simulation model
- probabilistic model
- sensitivity analysis
- conceptual model
- theoretical framework
- autoregressive
- data mining
- statistical model
- em algorithm
- graphical models
- artificial neural networks
- objective function
- similarity measure
- computer vision