Substructure lattices and almost minimal end extensions of models of Peano arithmetic.

James H. Schmerl

Published in: Math. Log. Q. (2004)

Keyphrases

database
real time
artificial intelligence
case study
image sequences
data structure
hidden markov models
probabilistic model
machine learning algorithms
process model
statistical model
statistical models
statistical methods
efficient implementation