Transfinite Dependent Choice and omega-Model Reflection.
Christian RüedePublished in: J. Symb. Log. (2002)
Keyphrases
- computational model
- experimental data
- statistical model
- theoretical framework
- sensitivity analysis
- probability distribution
- probabilistic model
- data mining
- bayesian framework
- mathematical model
- high level
- real time
- cost function
- data model
- evolutionary algorithm
- management system
- em algorithm
- theoretical analysis
- video sequences
- data structure
- multiscale
- face recognition
- computer vision
- theoretical foundation