The Münchhausen Method in Type Theory.
Thorsten AltenkirchAmbrus KaposiArtjoms SinkarovsTamás VéghPublished in: TYPES (2022)
Keyphrases
- high precision
- high accuracy
- pairwise
- similarity measure
- evaluation method
- error rate
- optimization algorithm
- experimental evaluation
- cost function
- multiscale
- objective function
- significant improvement
- support vector machine svm
- learning algorithm
- optimization method
- energy function
- experimental study
- synthetic data
- detection method
- computational complexity
- main contribution
- theoretical analysis
- computationally efficient
- feature set
- edge detection
- preprocessing
- denoising
- evolutionary algorithm
- prior knowledge