Meinardus' theorem on weighted partitions: Extensions and a probabilistic proof.
Boris L. GranovskyDudley StarkMichael M. ErlihsonPublished in: Adv. Appl. Math. (2008)
Keyphrases
- interactive theorem proving
- bayesian networks
- probabilistic model
- cost based abduction
- generative model
- uncertain data
- image segmentation
- von neumann
- theorem proving
- information theoretic
- probabilistic approaches
- probabilistic logic
- weighted sum
- data sets
- data driven
- association rules
- clustering algorithm
- information retrieval