An Isabelle Proof Method Language.
Daniel MatichukMakarius WenzelToby C. MurrayPublished in: ITP (2014)
Keyphrases
- fully automatic
- synthetic data
- detection method
- cost function
- clustering method
- model selection
- preprocessing
- computational cost
- experimental evaluation
- dynamic programming
- pairwise
- neural network
- significant improvement
- natural language
- data sets
- support vector machine
- programming language
- feature set
- mutual information
- similarity measure
- theoretical analysis
- support vector machine svm
- learning algorithm
- genetic algorithm
- machine learning
- matching algorithm
- high precision