Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description).
Florian FrohnJürgen GieslPublished in: IJCAR (2022)
Keyphrases
- lower bound
- term rewrite systems
- upper bound
- high level
- real time
- case study
- image processing
- search algorithm
- special case
- databases
- upper and lower bounds
- worst case
- database
- rates of convergence
- distribution free
- active rules
- error bounds
- sample size
- multi class
- query processing
- social networks
- multi agent
- knowledge base