Affine Loop Invariant Generation via Matrix Algebra.
Yucheng JiHongfei FuBin FangHaibo ChenPublished in: CAV (1) (2022)
Keyphrases
- affine transformation
- affine invariant
- invariant descriptors
- geometric transformations
- query language
- image registration
- positive definite
- laplace transform
- covariance matrix
- relational algebra
- projection matrices
- invariant representation
- generation process
- affine invariance
- algebraic structure
- affine transform
- planar objects
- linear algebra
- data sets
- invariant features
- singular value decomposition
- b spline
- pairwise