Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic.
Christoph BeierleKlaus-Dieter SchewePublished in: Sci. Comput. Program. (2019)
Keyphrases
- computationally expensive
- theoretical analysis
- data structure
- brute force
- orders of magnitude
- data mining
- image processing
- bayesian networks
- computational complexity
- computational cost
- optimization problems
- computationally efficient
- worst case
- floating point
- recently developed
- computational efficiency
- data mining algorithms
- databases
- decision trees
- learning algorithm
- real world