Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem.
Albert AtseriasJoanna OchremiakPublished in: LICS (2018)
Keyphrases
- experimental evaluation
- high accuracy
- cost function
- classification accuracy
- preprocessing
- fully automatic
- classification method
- detection method
- clustering method
- probabilistic model
- mutual information
- markov random field
- computationally efficient
- main contribution
- matching algorithm
- computational cost
- image sequences