Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.
Milad NiquiPublished in: TYPES (2006)
Keyphrases
- real numbers
- computational complexity
- optimization problems
- computationally efficient
- feature extraction
- data structure
- significant improvement
- pairwise
- computational cost
- theoretical analysis
- brute force
- computer vision
- data mining
- linear programming
- machine learning algorithms
- orders of magnitude
- input output
- learning algorithm