Verifying an Aircraft Proximity Characterization Method in Coq.
Dongxi LiuNeale L. FultonJohn ZicMartin de GrootPublished in: ICFEM (2013)
Keyphrases
- preprocessing
- dynamic programming
- experimental evaluation
- clustering method
- high accuracy
- detection method
- pairwise
- prior knowledge
- probabilistic model
- evaluation method
- theoretical analysis
- classification method
- computationally efficient
- verification method
- optimization method
- fully automatic
- high precision
- learning algorithm
- support vector machine
- computer vision