Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method.
Kazuhiro OgataKokichi FutatsugiPublished in: J. Univers. Comput. Sci. (2013)
Keyphrases
- high accuracy
- support vector machine svm
- pairwise
- computationally efficient
- theoretical analysis
- learning algorithm
- neural network
- prior knowledge
- high precision
- computational cost
- classification accuracy
- classification method
- detection method
- synthetic data
- affine moment invariants
- optimization method
- feature set
- experimental evaluation
- video sequences
- objective function