A case study in proof based synthesis of algorithms on monotone lists.
Isabela DramnescTudor JebeleanPublished in: SACI (2015)
Keyphrases
- times faster
- graph theory
- computational complexity
- computational efficiency
- significant improvement
- theoretical analysis
- image processing
- clustering algorithm
- computational cost
- program synthesis
- combinatorial optimization
- computationally expensive
- classification algorithm
- machine learning algorithms
- optimization problems
- learning algorithm
- lower bound
- data structure
- database systems
- case study
- decision trees
- computer vision