Login / Signup
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker.
Kenichi Arai
Nobuaki Kondo
Hiroyuki Okazaki
Published in:
FCS (2010)
Keyphrases
</>
random sampling
sample space
random sample
sample size
small sample size
sampling algorithm
active learning
sampling procedure
hyperplane
stratified sampling
sliding window
sampling methods
probability distribution
random samples
feature space
feature selection
model selection
reinforcement learning