Machine Learning and Formal Method (Dagstuhl Seminar 17351).
Sanjit A. SeshiaXiaojin (Jerry) ZhuAndreas KrauseSusmit JhaPublished in: Dagstuhl Reports (2017)
Keyphrases
- machine learning
- high precision
- significant improvement
- detection method
- pairwise
- learning tasks
- artificial intelligence
- similarity measure
- pattern recognition
- experimental evaluation
- high accuracy
- data mining
- classification method
- clustering method
- theoretical analysis
- mutual information
- knowledge representation
- computational cost
- preprocessing
- information retrieval
- data sets
- denoising
- natural language processing
- support vector machine svm
- optimization algorithm
- multiresolution
- synthetic data
- segmentation method
- genetic algorithm
- fully automatic
- optimization method
- statistical methods