Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.
Hyunjun EoOukseh LeeKwangkeun YiPublished in: New Gener. Comput. (2003)
Keyphrases
- computational complexity
- computational cost
- machine learning algorithms
- learning algorithm
- computer vision
- inference problems
- benchmark datasets
- feature set
- polynomial time complexity
- hybrid approaches
- decomposition algorithm
- computational efficiency
- theoretical analysis
- np complete
- neural network
- worst case
- search space
- image segmentation
- social networks
- data mining