Type-Theory of Acyclic Algorithms with Generalised Immediate Terms.
Roussanka LoukanovaPublished in: ICAART (2) (2019)
Keyphrases
- optimal solution
- np hard
- data structure
- theoretical analysis
- times faster
- lower bound
- computationally expensive
- orders of magnitude
- significant improvement
- computational cost
- linear algebra
- recently developed
- computational efficiency
- computationally efficient
- optimization problems
- worst case
- special case
- computational complexity
- benchmark datasets
- image segmentation
- theoretical framework
- image processing
- learning algorithm
- information retrieval
- neural network
- graph theory
- databases