On Automation of OTS/CafeOBJ Method.
Daniel GâinâDorel LucanuKazuhiro OgataKokichi FutatsugiPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- high accuracy
- support vector machine svm
- similarity measure
- fully automatic
- optimization algorithm
- image processing
- detection method
- preprocessing
- main contribution
- evaluation method
- mathematical model
- energy function
- clustering method
- video sequences
- significant improvement
- theoretical analysis
- computationally efficient
- control system
- least squares
- support vector machine
- computational cost
- experimental evaluation
- cost function