A Method for Describing Concurrent Problems Based on Logic.
Georg WintersteinManfred DausmannGuido PerschPublished in: GI Jahrestagung (1980)
Keyphrases
- high precision
- synthetic data
- similarity measure
- alternative methods
- fully automatic
- detection method
- pairwise
- preprocessing
- experimental evaluation
- high accuracy
- support vector machine svm
- learning algorithm
- support vector machine
- computationally efficient
- theoretical analysis
- optimization algorithm
- segmentation method
- computational complexity
- objective function
- numerical methods