Invariants on Demand.

K. Rustan M. Leino

Published in: SEFM (2005)

Keyphrases

moment invariants
invariant features
cloud computing
geometric invariants
affine invariant
imperative programs
mobile devices
multiscale
three dimensional
artificial intelligence
neural network
projective invariants
real time
object geometry
affine moment invariants
quasi invariant
database