in Models of Peano Arithmetic.

Grzegorz Michalski

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

Keyphrases

probabilistic model
experimental data
statistical models
real time
learning algorithm
decision trees
multiscale
video sequences
prior knowledge
process model
neural network model