Complexity Analysis for Call-by-Value Higher-Order Rewriting.
Cynthia KopDeivid ValePublished in: CoRR (2023)
Keyphrases
- complexity analysis
- higher order
- lower bound
- high order
- theoretical analysis
- natural images
- pairwise
- rewriting rules
- low order
- markov random field
- conjunctive queries
- computational complexity
- query rewriting
- lower order
- rewrite rules
- rewriting systems
- markov models
- conditional random fields
- queries using views
- information extraction
- genetic algorithm
- lambda calculus
- presburger arithmetic