C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms.
Jesús Domínguez
Aleksandar Nanevski
Published in:
CoRR (2023)
Keyphrases
</>
optimization problems
learning algorithm
computational cost
recently developed
data structure
significant improvement
theoretical analysis
machine learning algorithms
domain independent
data sets
data mining
image processing
decision trees
reinforcement learning
object recognition
worst case