Sciweavers

812 search results - page 80 / 163
» corr 2007
Sort
View
92
Voted
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 18 days ago
Double Clustering and Graph Navigability
Graphs are called navigable if one can find short paths through them using only local knowledge. It has been shown that for a graph to be navigable, its construction needs to mee...
Oskar Sandberg
CORR
2007
Springer
69views Education» more  CORR 2007»
15 years 18 days ago
Lossless Representation of Graphs using Distributions
We consider complete graphs with edge weights and/or node weights taking values in some set. In the first part of this paper, we show that a large number of graphs are completely...
Mireille Boutin, Gregor Kemper
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 18 days ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 18 days ago
A Simple Proof of the Entropy-Power Inequality via Properties of Mutual Information
— While most useful information theoretic inequalities can be deduced from the basic properties of entropy or mutual information, Shannon’s entropy power inequality (EPI) seems...
Olivier Rioul
97
Voted
CORR
2007
Springer
85views Education» more  CORR 2007»
15 years 18 days ago
A multivariate interlace polynomial
We define a multivariate polynomial that generalizes in a unified way the twovariable interlace polynomial defined by Arratia, Bollob´as and Sorkin on the one hand, and a one-...
Bruno Courcelle