Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
Bernhard BeckertTimo BingmannMoritz KieferPeter SandersMattias UlbrichAlexander WeiglPublished in: CoRR (2018)
Keyphrases
- feature selection
- theoretical analysis
- worst case
- efficient implementation
- optimization problems
- data structure
- significant improvement
- computational cost
- database
- learning algorithm
- benchmark datasets
- orders of magnitude
- recently developed
- search algorithm
- cloud computing
- genetic algorithm
- computational efficiency
- neural network