Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement.
Viorel PreoteasaRalph-Johan BackPublished in: Arch. Formal Proofs (2010)
Keyphrases
- graph model
- graph representation
- graph partitioning
- graph structure
- data sets
- data analysis
- database
- computational complexity
- noisy data
- training data
- preprocessing
- polynomial time complexity
- spectral methods
- information loss
- data objects
- model checking
- matching algorithm
- dynamic programming
- lower bound
- data structure
- data mining