Inferring Object Invariants: Extended Abstract.

Bor-Yuh Evan Chang K. Rustan M. Leino

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

extended abstract
d objects
complex objects
multiple objects
invariant representation
object tracking
data objects
object model
bounding box
object segmentation
object identification
deformable objects
object level
affine invariant
data sets
partial occlusion
input image
neural network