VDM Specification of an Algorithm for Graph Decomposition.
Abdul HuqNarayanan T. RamachandranPublished in: J. Digit. Inf. Manag. (2007)
Keyphrases
- experimental evaluation
- cost function
- shortest path problem
- high accuracy
- significant improvement
- graph model
- preprocessing
- worst case
- minimum spanning tree
- dynamic programming
- objective function
- segmentation algorithm
- detection algorithm
- decomposition method
- simulated annealing
- decomposition algorithm
- tree structure
- linear programming
- learning algorithm
- graph search
- breadth first search
- finding the shortest path
- solution path
- depth first search
- dominating set
- genetic algorithm
- wavelet packet
- graph partitioning
- spanning tree
- graph structure
- optimization algorithm
- constraint satisfaction problems
- k means
- lower bound
- computational complexity