Instantiation-Based Invariant Discovery.

Temesghen Kahsai Yeting Ge Cesare Tinelli

Published in: NASA Formal Methods (2011)

Keyphrases

knowledge discovery
affine transformation
artificial intelligence
three dimensional
affine invariant
discovery process
data sets
scientific discovery
projective invariants
real world
machine learning
information retrieval
social networks
face recognition
automatically discovering