Proving Correctness of Concurrent Objects by Validating Linearization Points.

Sathya Peri Muktikanta Sa Nandini Singhal

Published in: CoRR (2017)

Keyphrases

data sets
point sets
d objects
neural network
moving objects
straight line segments
geometrical features
single image
keypoints
object segmentation
target object
geometrical constraints
object shapes