Symbolic method of verification of definite iterations over altered data structures.
Valery A. NepomniaschyPublished in: Program. Comput. Softw. (2005)
Keyphrases
- data structure
- fully automatic
- segmentation method
- support vector machine svm
- mutual information
- high accuracy
- dynamic programming
- optimization algorithm
- computationally efficient
- machine learning
- support vector machine
- detection method
- cost function
- matching algorithm
- objective function
- high precision
- clustering method
- synthetic data
- model checking
- detection algorithm
- feature set
- input data
- classification accuracy
- computational cost
- experimental evaluation
- significant improvement
- pairwise
- preprocessing
- feature extraction
- image processing