An Algorithm for Verifying Equations of Morphisms in a Category.
Dietmar WätjenWerner StruckmannPublished in: Inf. Process. Lett. (1982)
Keyphrases
- times faster
- detection algorithm
- dynamic programming
- neural network
- learning algorithm
- optimization algorithm
- experimental evaluation
- improved algorithm
- convergence rate
- mathematical model
- worst case
- knn
- estimation algorithm
- significant improvement
- objective function
- selection algorithm
- linear systems
- data sets
- newton raphson
- computationally efficient
- input data
- computational cost
- k means
- preprocessing