Model-Complete Theories of Formally Real Fields and Formally p-Adic Fields.
William H. WheelerPublished in: J. Symb. Log. (1983)
Keyphrases
- probabilistic model
- high level
- theoretical framework
- mathematical model
- computational model
- computer vision
- object model
- parameter values
- management system
- autoregressive
- data sets
- mathematical models
- formal model
- hierarchical structure
- process model
- theoretical analysis
- hidden markov models
- cost function
- prior knowledge
- expert systems
- bayesian networks
- information systems
- information retrieval
- real world