Models for Metamath.

Published in: CoRR (2016)

Keyphrases

real world
information systems
case study
prior knowledge
experimental data
statistical models
accurate models
data sets
feature selection
three dimensional
probabilistic model
machine learning algorithms
prediction model
random fields