Login / Signup
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants.
ThanhVu Nguyen
Deepak Kapur
Westley Weimer
Stephanie Forrest
Published in:
ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
</>
affine invariant
dynamic environments
moment invariants
quasi invariant
invariant features
invariance properties
invariant representations
neural network
planar shapes
website
pattern recognition
affine transformation
invariant representation