Sparse Tiling Through Overlap Closures for Termination of String Rewriting.
Alfons GeserDieter HofbauerJohannes WaldmannPublished in: FSCD (2019)
Keyphrases
- termination analysis
- sparse data
- data structure
- pattern matching
- string matching
- edit distance
- suffix tree
- presburger arithmetic
- rewrite rules
- sparse matrix
- active rules
- query rewriting
- compressed sensing
- sparse coding
- sparse representation
- high dimensional
- databases
- active databases
- regular expressions
- closed sets
- rewriting systems