Contextual trace refinement for concurrent objects: Safety and progress.

Brijesh Dongol Lindsay Groves

Published in: CoRR (2016)

Keyphrases

context sensitive
d objects
contextual information
spatial relationships
neural network
information retrieval
search engine
moving objects
image features
single image
spatial relations
similar objects