Login / Signup

Proving Non-Reachabililty by Modulo-Place-Invariants.

Jörg Desel
Published in: FSTTCS (1994)
Keyphrases
  • moment invariants
  • affine invariant
  • image processing
  • invariant features
  • databases
  • high level
  • wide range
  • preprocessing
  • viewpoint
  • medical images
  • affine moment invariants
  • imperative programs