Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).
Ugo Dal LagoFrancesco GavazzoPaul Blain LevyPublished in: CoRR (2017)
Keyphrases
- cost function
- support vector machine svm
- preprocessing
- optimization method
- high precision
- detection method
- main contribution
- computationally efficient
- high accuracy
- dynamic programming
- computational cost
- experimental evaluation
- optimization algorithm
- clustering method
- synthetic data
- segmentation method
- classification method
- similarity measure
- feature set
- support vector machine
- matching algorithm
- feature vectors
- evaluation method