Verifying Recursive Active Documents with Positive Data Tree Rewriting

Blaise Genest Anca Muscholl Zhilin Wu

Published in: CoRR (2010)

Keyphrases

positive data
tree languages
grammatical inference
positive and negative
information retrieval
pattern languages
metadata
keywords
tree automata
xml documents
knowledge base
semantic information
noisy data
positive examples
machine learning
software architecture