An Intuitionistic Set-theoretical Model of the Extended Calculus of Constructions.
Masahiro SatoPublished in: CoRR (2014)
Keyphrases
- theoretical analysis
- mathematical model
- probability distribution
- computational model
- prior knowledge
- objective function
- evolutionary algorithm
- similarity measure
- rough sets
- input data
- prediction model
- hierarchical structure
- sensitivity analysis
- formal model
- partially ordered
- theorem prover
- petri net
- parameter estimation
- management system