Octagons Revisited - Elegant Proofs and Simplified Algorithms.
Michael SchwarzHelmut SeidlPublished in: SAS (2023)
Keyphrases
- recently developed
- data structure
- computational complexity
- computational cost
- optimization problems
- theoretical analysis
- learning algorithm
- combinatorial optimization
- multi class
- orders of magnitude
- benchmark datasets
- theorem prover
- data sets
- computational efficiency
- computationally efficient
- significant improvement
- database systems
- computer vision
- real world