Login / Signup

Invariant Checking Combining Forward and Backward Traversal.

Christian StangierThomas Sidle
Published in: FMCAD (2004)
Keyphrases
  • forward and backward
  • dynamic programming
  • data structure
  • decision trees
  • greedy search
  • machine learning
  • dimensionality reduction
  • dimension reduction
  • affine transformation
  • affine invariant