The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems.
Bozena Wozna-SzczesniakAgnieszka ZbrzeznyAndrzej ZbrzeznyPublished in: EPIA (2011)
Keyphrases
- synthetic data
- detection method
- preprocessing
- cost function
- computational cost
- main contribution
- optimization method
- classification accuracy
- management system
- high accuracy
- image processing
- complex systems
- clustering method
- support vector machine svm
- theoretical analysis
- edge detection
- dynamic programming
- significant improvement
- computational complexity
- objective function
- multiscale
- model selection
- detection algorithm
- error rate
- similarity measure
- retrieval systems
- fully automatic
- neural network
- evaluation method