Towards the Construction of a Model of Mizar Concepts.

Grzegorz Bancerek

Published in: Formaliz. Math. (2008)

Keyphrases

probabilistic model
computational model
network model
experimental data
theoretical analysis
prediction model
computer vision
case study
training data
multi agent systems
cost function
probability distribution
theoretical framework
mathematical model
statistical model