Sparse Tiling through Overlap Closures for Termination of String Rewriting.
Alfons GeserDieter HofbauerJohannes WaldmannPublished in: CoRR (2020)
Keyphrases
- termination analysis
- sparse data
- presburger arithmetic
- active rules
- content oriented xml retrieval
- conjunctive queries
- data sets
- compressive sensing
- sparse representation
- random projections
- transitive closure
- regular expressions
- active databases
- term rewriting
- queries using views
- pattern matching
- dictionary learning
- context free grammars
- edit distance
- query rewriting
- logic programs
- rewrite rules
- feature space
- data structure