Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm.
Jean-François DufourdPublished in: ICFEM (2014)
Keyphrases
- preprocessing
- theoretical analysis
- high accuracy
- experimental evaluation
- learning algorithm
- dynamic programming
- worst case
- computationally efficient
- search space
- graph structure
- times faster
- detection algorithm
- computational cost
- neural network
- convergence rate
- segmentation algorithm
- computational complexity
- optimal solution
- np hard
- significant improvement
- feature selection
- optimization algorithm
- directed graph
- k means
- weighted graph
- graph construction
- graph search
- hyper graph