Could We Have Chosen a Better Loop Invariant or Method Contract?.
Christoph GladischPublished in: TAP@TOOLS (2009)
Keyphrases
- main contribution
- high precision
- detection method
- cost function
- experimental evaluation
- high accuracy
- pairwise
- clustering method
- invariant representation
- computer vision
- image matching
- synthetic data
- theoretical analysis
- multiresolution
- evolutionary algorithm
- preprocessing
- computational complexity
- multiscale
- similarity measure