Object Invariants in Dynamic Contexts.

K. Rustan M. Leino Peter Müller

Published in: ECOOP (2004)

Keyphrases

complex objects
d objects
dynamic environments
genetic algorithm
learning algorithm
computer vision
pattern recognition
three dimensional
moving objects
object detection
keypoints
object model
multiple objects
target object
object level