Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms.
Thom W. FrühwirthPublished in: LOPSTR (2017)
Keyphrases
- computationally efficient
- graph theory
- learning algorithm
- computational complexity
- recently developed
- theoretical analysis
- data structure
- databases
- times faster
- orders of magnitude
- significant improvement
- image processing
- social networks
- real time
- search algorithm
- multi class
- feature selection
- computer vision
- genetic algorithm
- combinatorial optimization
- neural network