The Recursively Saturated Part of Models of Peano Arithmetic.
Henryk KotlarskiPublished in: Math. Log. Q. (1986)
Keyphrases
- data sets
- image processing
- databases
- real time
- similarity measure
- complex systems
- probabilistic model
- model selection
- parameter estimation
- mathematical models
- computational models
- statistical methods
- first order logic
- statistical model
- hidden markov models
- prior knowledge
- multi agent systems
- data structure
- computer vision
- data mining