• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

From invariant checking to invariant inference using randomized search.

Rahul SharmaAlex Aiken
Published in: Formal Methods Syst. Des. (2016)
Keyphrases
  • affine transformation
  • affine invariant
  • randomized search
  • image sequences
  • belief networks
  • bayesian inference
  • neural network
  • multiscale
  • cost function
  • computational efficiency
  • moment invariants
  • quasi invariant