System Description: Similarity-Based Lemma Generation for Model Elimination.
Marc FuchsPublished in: CADE (1998)
Keyphrases
- probabilistic model
- high level
- artificial intelligence
- prior knowledge
- probability distribution
- formal model
- statistical model
- mathematical model
- computational model
- real time
- hidden markov models
- em algorithm
- artificial neural networks
- theoretical framework
- objective function
- image segmentation
- network structure
- search engine
- parameter values
- hybrid model
- autoregressive