Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion.
Peter PadawitzPublished in: IFIP Congress (1989)
Keyphrases
- graph theory
- graph structure
- directed graph
- weighted graph
- graph construction
- connected components
- graph model
- random walk
- inductive learning
- graph representation
- graph properties
- information retrieval
- graph based algorithm
- minimum spanning tree
- graph partitioning
- inductive inference
- graphical models
- expert systems
- case study