Using History Invariants to Verify Observers.

K. Rustan M. Leino Wolfram Schulte

Published in: ESOP (2007)

Keyphrases

affine invariant
case study
moment invariants
human observers
data sets
databases
decision making
image sequences
multiscale
expert systems
geometric invariants
object geometry