Keyphrases
- model selection
- formal methods
- cross validation
- bayesian learning
- hyperparameters
- model checking
- parameter estimation
- sample size
- artificial intelligence
- regression model
- software engineering
- statistical learning
- knowledge based systems
- error estimation
- formal specification
- variable selection
- feature selection
- generalization error
- model selection criteria
- machine learning
- selection criterion
- mixture model
- gaussian process
- leave one out cross validation
- information criterion
- marginal likelihood
- bayesian model selection
- modeling language
- knowledge acquisition
- bayesian information criterion
- automatic model selection