Bayesian Statistical parametric Verification and synthesis by Machine Learning.
Luca BortolussiGuido SanguinettiSimone SilvettiPublished in: WSC (2018)
Keyphrases
- machine learning
- statistical inference
- statistical methods
- bayesian analysis
- bayesian inference
- statistical analysis
- data driven
- maximum likelihood
- learning algorithm
- model selection
- text classification
- semi parametric
- explanation based learning
- feature selection
- knowledge acquisition
- machine learning methods
- bayesian methods
- machine learning algorithms
- information theoretic
- statistical models
- data mining
- graphical models
- semi supervised
- decision trees
- inductive logic programming
- computational intelligence
- parametric models
- support vector machine
- statistical information
- bayesian learning
- data analysis
- signature verification
- artificial intelligence
- functional programs
- kernel density estimators