Contributions to the Theory of Large Cardinals through the Method of Forcing.
Alejandro PovedaPublished in: Bull. Symb. Log. (2021)
Keyphrases
- clustering method
- cost function
- significant improvement
- synthetic data
- main contribution
- pairwise
- objective function
- high precision
- error rate
- experimental evaluation
- high accuracy
- computational complexity
- computational cost
- detection method
- computationally efficient
- detection algorithm
- segmentation method
- classification method
- fully automatic
- support vector machine
- theoretical analysis
- feature set
- neural network
- dynamic programming
- training set
- preprocessing
- multiscale
- knowledge base
- machine learning