The Automatic Inference of State Invariants in TIM

Maria Fox Derek Long

Published in: CoRR (2011)

Keyphrases

artificial intelligence
machine learning
information systems
image processing
affine invariant
neural network
data mining
search engine
bayesian networks
state space
software engineering
semi automatic
bayesian inference
projective invariants