Verification of Hierarchical Artifact Systems.

Alin Deutsch Yuliang Li Victor Vianu

Published in: PODS (2016)

Keyphrases

retrieval systems
systems require
information retrieval
image processing
intelligent systems
formal methods
database
computer vision
knowledge base
website
database systems
image sequences
similarity measure
distributed systems
learning systems