Some Remarks on Initial Segments in Models of Peano Arithmetic.

Henryk Kotlarski

Published in: J. Symb. Log. (1984)

Keyphrases

statistical models
computer vision
probabilistic model
real time
data sets
prior knowledge
segmentation algorithm
computational models