Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds.
Petr JancarAntonín KuceraFaron MollerZdenek SawaPublished in: FoSSaCS (2002)
Keyphrases
- lower bound
- significant improvement
- detection method
- high accuracy
- objective function
- np hard
- upper bound
- search space
- theoretical analysis
- experimental evaluation
- branch and bound algorithm
- similarity measure
- branch and bound
- classification method
- clustering method
- image registration
- dynamic programming
- cost function
- prior knowledge
- preprocessing
- computational complexity
- optimal solution
- reinforcement learning