Verifying Recursive Active Documents with Positive Data Tree Rewriting.
Blaise GenestAnca MuschollZhilin WuPublished in: FSTTCS (2010)
Keyphrases
- positive data
- tree languages
- grammatical inference
- positive and negative
- information retrieval
- pattern languages
- positive examples
- tree automata
- keywords
- metadata
- rooted trees
- index structure
- data sets
- noisy data
- training data
- b tree
- accurate classification
- object oriented
- semi supervised
- xml documents
- high dimensional