Keyphrases
- noise resistant
- invariant features
- theorem proving
- affine transformation
- affine invariant
- mathematical proofs
- invariant properties
- linear logic
- scoring methods
- theorem prover
- feature points
- d objects
- moment invariants
- matching score
- translation invariant
- probabilistic model
- image segmentation
- information systems
- score distributions
- social networks
- data sets