Proof-irrelevant model of CC with predicative induction and judgmental equality
Gyesik LeeBenjamin WernerPublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- d objects
- statistical model
- probability distribution
- mathematical model
- neural network
- experimental data
- theoretical framework
- prior knowledge
- cost function
- computational model
- autoregressive
- formal model
- parameter estimation
- least squares
- multi agent systems
- similarity measure
- high level
- clustering algorithm
- information systems
- machine learning