Using Formal Proof and B Method at System Level for Industrial Projects.
Denis SabatierPublished in: RSSRail (2016)
Keyphrases
- detection method
- computational cost
- high accuracy
- significant improvement
- experimental evaluation
- support vector machine
- formal proof
- fully automatic
- synthetic data
- cost function
- multiresolution
- pairwise
- multiscale
- classification accuracy
- case study
- theoretical analysis
- support vector machine svm
- detection algorithm
- clustering method
- preprocessing
- error rate
- objective function
- high precision
- image sequences