Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method.
Allison SullivanDarko MarinovSarfraz KhurshidPublished in: ICFEM (2019)
Keyphrases
- lightweight
- high accuracy
- modeling method
- preprocessing
- significant improvement
- computational cost
- optimization method
- pairwise
- objective function
- mathematical model
- segmentation method
- detection method
- edge detection
- dynamic programming
- neural network
- software engineering
- probabilistic model
- closed form
- video sequences