Implementing the Symbolic Method of Verification in the C-Light Project.
Dmitry A. KondratyevPublished in: Ershov Informatics Conference (2017)
Keyphrases
- high accuracy
- preprocessing
- experimental evaluation
- detection method
- significant improvement
- case study
- high precision
- computationally efficient
- image processing
- objective function
- feature set
- segmentation method
- synthetic data
- multiscale
- clustering method
- support vector machine svm
- theoretical analysis
- prior knowledge
- computational complexity
- principal component analysis
- denoising
- classification accuracy
- computational cost
- feature vectors
- k means