Proving Local Invariants in ASTDs.

Quelen Cartellier Marc Frappier Amel Mammar

Published in: ICFEM (2023)

Keyphrases

affine invariant
invariant features
moment invariants
quasi invariant
data sets
geometric invariants
image processing
feature extraction
bayesian networks
video sequences
viewpoint
structure from motion
projective invariants
imperative programs