Safe Concurrency for Aggregate Objects with Invariants.

Bart Jacobs Frank Piessens K. Rustan M. Leino Wolfram Schulte

Published in: SEFM (2005)

Keyphrases

d objects
data sets
database systems
object segmentation
object geometry
image segmentation
multiscale
object detection
data management
keypoints
concurrency control
spatial relationships
bounding box
complex scenes
similar objects