LIV: Loop-Invariant Validation Using Straight-Line Programs.
Dirk BeyerMartin SpiesslPublished in: ASE (2023)
Keyphrases
- three dimensional
- straight line
- hough transform
- curvature estimation
- line detection
- feature points
- line drawings
- vanishing points
- line segments
- affine transformation
- d objects
- decision trees
- video sequences
- point correspondences
- training data
- compression algorithm
- affine invariant
- invariant features
- lens distortion
- machine learning