C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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