Effectful applicative bisimilarity: Monads, relators, and Howe's method.
Ugo Dal LagoFrancesco GavazzoPaul Blain LevyPublished in: LICS (2017)
Keyphrases
- high accuracy
- detection method
- cost function
- experimental evaluation
- high precision
- prior knowledge
- computationally efficient
- convergence rate
- computer vision
- classification method
- matching algorithm
- error rate
- detection algorithm
- optimization algorithm
- support vector machine svm
- computational cost
- pairwise
- support vector
- objective function
- clustering algorithm