Nondeterminism and An Abstract Formulation of Nečiporuk's Lower Bound Method.
Paul BeameNathan GrosshansPierre McKenzieLuc SegoufinPublished in: ACM Trans. Comput. Theory (2016)
Keyphrases
- lower bound
- high precision
- synthetic data
- clustering method
- decomposition method
- cost function
- dynamic programming
- experimental evaluation
- computational cost
- theoretical analysis
- optimization procedure
- preprocessing
- high accuracy
- detection method
- model selection
- optimization method
- situation calculus
- significant improvement
- pairwise
- branch and bound method