Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method.
Duong Dinh TranDang Duy BuiKazuhiro OgataPublished in: IEEE Access (2021)
Keyphrases
- high accuracy
- high precision
- similarity measure
- computational complexity
- cost function
- synthetic data
- experimental evaluation
- classification accuracy
- error rate
- computationally efficient
- input data
- support vector machine
- computer vision
- probabilistic model
- computational cost
- preprocessing
- detection algorithm
- detection method
- face detection
- multiscale
- decision trees
- image processing