Login / Signup
Scalable conditional equivalence checking: An automated invariant-generation based approach.
Jason Baumgartner
Hari Mony
Michael L. Case
Jun Sawada
Karen Yorav
Published in:
FMCAD (2009)
Keyphrases
</>
semi automated
affine transformation
affine invariant
information systems
image sequences
highly scalable
random field model
database
data sets
databases
data driven
lightweight
computer assisted
fully automated
generation process
translation invariant