Formal analysis of cross-validation based on decremental sampling scheme.

Shusaku Tsumoto Shoji Hirano

Published in: GrC (2014)

Keyphrases

cross validation
formal analysis
model selection
support vector
sliding window
hyperparameters
variable selection
formal methods
training set
generalization error
regularization parameter
unseen data
ban logic
cross validated
agent model
error estimates
lightweight
gaussian process
nearest neighbor classifiers