Elucidating concurrent algorithms via layers of abstraction and reification.
Cliff B. JonesKen G. PiercePublished in: Formal Aspects Comput. (2011)
Keyphrases
- expressive power
- data structure
- computational cost
- computational efficiency
- high level
- search algorithm
- recently developed
- worst case
- data sets
- benchmark datasets
- machine learning algorithms
- theoretical analysis
- combinatorial optimization
- learning algorithm
- database
- graph theory
- multi layer
- times faster
- computationally expensive
- computationally efficient
- lower bound
- data mining
- databases