Twenty-Two New Approximate Proof Labeling Schemes.

Yuval Emek Yuval Gil

Published in: DISC (2020)

Keyphrases

labeling scheme
xml query processing
insertions and deletions
xml documents
probability distribution
transitive closure
machine learning
data structure
information extraction
xml trees