A Combinatorial Proof Of Rayleigh Monotonicity For Graphs.
Josef CibulkaJan HladkýMichael A. La CroixDavid G. WagnerPublished in: Ars Comb. (2014)
Keyphrases
- theorem proving
- theorem prover
- graph theory
- graph theoretic
- graph matching
- graph structures
- graph representation
- graph databases
- graph mining
- sar images
- directed graph
- labeled graphs
- graph clustering
- graph kernels
- linear logic
- database
- log normal
- graph partitioning
- gaussian distribution
- social network analysis
- probabilistic model
- pairwise
- pattern recognition
- bayesian networks
- data sets