Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.
Nicholas CoughlinGraeme SmithPublished in: CSF (2020)
Keyphrases
- orders of magnitude
- recently developed
- theoretical analysis
- computational efficiency
- significant improvement
- optimization problems
- learning algorithm
- information systems
- computationally expensive
- computational complexity
- computationally efficient
- spatial reasoning
- neural network
- benchmark datasets
- semi supervised
- knowledge representation
- association rules
- data structure
- reinforcement learning
- knowledge base
- feature selection
- artificial intelligence