Functional gradient descent method for Metric Temporal Logic specifications.
Houssam AbbasAndrew K. WinnGeorgios FainekosA. Agung JuliusPublished in: ACC (2014)
Keyphrases
- cost function
- high accuracy
- detection method
- fully automatic
- experimental evaluation
- segmentation method
- computational complexity
- synthetic data
- objective function
- detection algorithm
- optimization algorithm
- segmentation algorithm
- pairwise
- classification method
- computationally efficient
- multiscale
- principal component analysis
- similarity measure
- dynamic programming
- energy function
- color images
- preprocessing
- high precision
- image segmentation