Login / Signup
Property-Directed Inference of Universal Invariants or Proving Their Absence.
Aleksandr Karbyshev
Nikolaj Bjørner
Shachar Itzhaky
Noam Rinetzky
Sharon Shoham
Published in:
J. ACM (2017)
Keyphrases
</>
inference process
probabilistic inference
desirable properties
knowledge base
random fields
quasi invariant
machine learning
computer vision
case study
bayesian networks
video sequences
generative model
belief networks
affine invariant