A Property of 2-Sorted Peano Models and Program Verification.

László Csirmaz Jeff B. Paris

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

Keyphrases

probabilistic model
parameter estimation
statistical models
modeling framework
data sets
statistical model
database
information retrieval
decision making
case study
prior knowledge
computational model
experimental data
statistical methods
learned models