Using build-integrated static checking to preserve correctness invariants.

Hao Chen Jonathan S. Shapiro

Published in: CCS (2004)

Keyphrases

real world
computer vision
decision trees
neural network
relational databases
evolutionary algorithm
image registration
affine invariant
consistency checking