SAT Feature Analysis for Machine Learning Classification Tasks.
Marco DallaBenjamin Provan-BessellAndrea VisentinBarry O'SullivanPublished in: SOCS (2023)
Keyphrases
- feature analysis
- machine learning
- robust face recognition
- fisher classifier
- face recognition
- human identification
- satisfiability problem
- search algorithm
- data analysis
- computer vision
- machine learning methods
- feature extraction
- pattern recognition
- correlation filters
- data mining
- feature selection
- learning algorithm
- search strategies
- supervised learning
- support vector machine
- linear discriminant analysis
- machine learning algorithms
- sat solvers
- image classification
- signal processing
- propositional satisfiability
- eye localization
- image processing