A Generalised Sweep-Line Method for Safety Properties.
Lars Michael KristensenThomas MailundPublished in: FME (2002)
Keyphrases
- detection method
- high precision
- high accuracy
- main contribution
- similarity measure
- preprocessing
- pairwise
- segmentation method
- significant improvement
- computational cost
- evaluation method
- neural network
- classification method
- synthetic data
- segmentation algorithm
- computationally efficient
- mutual information
- edge detection
- experimental evaluation
- dynamic programming
- cost function
- control system
- color images
- objective function
- machine learning