Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
Ilya SergeyAleksandar NanevskiAnindya BanerjeePublished in: ESOP (2015)
Keyphrases
- learning algorithm
- recently developed
- computational efficiency
- computationally efficient
- significant improvement
- computer vision algorithms
- highly efficient
- data mining algorithms
- worst case
- computational cost
- database
- computational complexity
- search algorithm
- information retrieval
- real time
- computer vision
- data mining techniques
- artificial intelligence
- data mining
- times faster
- real world
- graph theory
- neural network