C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From invariant checking to invariant inference using randomized search.
Rahul Sharma
Alex 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