Scott's models and illative combinatory logic.

Martin W. Bunder

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

statistical models
probabilistic model
experimental data
information retrieval
logic programming
mathematical models
accurate models
real time
artificial intelligence
computer vision
three dimensional
image sequences
statistical model
bayesian framework
computational models
autoregressive