The Not So Simple Proof-Irrelevant Model of CC.
Alexandre MiquelBenjamin WernerPublished in: TYPES (2002)
Keyphrases
- experimental data
- mathematical model
- theoretical analysis
- hybrid model
- case study
- formal model
- statistical model
- computational model
- parameter estimation
- probability distribution
- probabilistic model
- decision making
- level set
- databases
- prior knowledge
- feature selection
- objective function
- artificial intelligence
- hierarchical structure
- parameter values
- object model
- network model
- information retrieval