Login / Signup
Formalization of statistical indistinguishability of probability distribution ensembles in Mizar.
Hiroyuki Okazaki
Published in:
ISITA (2016)
Keyphrases
</>
probability distribution
random variables
statistical analysis
information theoretic
computer assisted
bayesian networks
database
posterior probability
neural network
decision trees
ensemble methods
ensemble learning
imbalanced data
statistical approaches