Path invariants.

Dirk Beyer Thomas A. Henzinger Rupak Majumdar Andrey Rybalchenko

Published in: PLDI (2007)

Keyphrases

three dimensional
bayesian networks
data structure
real time
data mining
image segmentation
state space
affine invariant
invariant features
path finding
geometric invariants
imperative programs