A Constructive Model of Directed Univalence in Bicubical Sets.
Matthew Z. WeaverDaniel R. LicataPublished in: LICS (2020)
Keyphrases
- mathematical model
- probabilistic model
- conceptual model
- statistical model
- computational model
- theoretical framework
- machine learning
- genetic algorithm
- experimental data
- objective function
- probability distribution
- linear model
- database
- formal model
- neural network model
- em algorithm
- least squares
- prior knowledge
- training data
- case study
- decision trees
- artificial intelligence
- data sets
- real time