Sciweavers

CORR
2008
Springer
115views Education» more  CORR 2008»
13 years 8 months ago
Spanning directed trees with many leaves
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pap...
Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael ...
CORR
2008
Springer
47views Education» more  CORR 2008»
13 years 8 months ago
Cooperative Spectrum Sensing Using Random Matrix Theory
Leonardo S. Cardoso, Mérouane Debbah, Pasca...
CORR
2008
Springer
49views Education» more  CORR 2008»
13 years 8 months ago
Evaluation and exploitation of knowledge robustness in knowledge-based systems
Mathieu Barcikowski, Philippe Pernelle, Arnaud Lef...
CORR
2008
Springer
131views Education» more  CORR 2008»
13 years 8 months ago
Optimizing polynomials for floating-point implementation
The floating-point implementation of a function often reduces to a polynomial approximation on an interval. Remez algorithm provides the polynomial closest to the function, but th...
Florent de Dinechin, Christoph Quirin Lauter
CORR
2008
Springer
123views Education» more  CORR 2008»
13 years 8 months ago
Networks become navigable as nodes move and forget
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle...
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 8 months ago
Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks
We define the "Pulse Synchronization" problem that requires nodes to achieve tight synchronization of regular pulse events, in the settings of distributed computing syste...
Ariel Daliot, Danny Dolev, Hanna Parnas
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 8 months ago
Towards a Spreadsheet Engineering
In this paper, we report some on-going focused research, but are further keen to set it in the context of a proposed bigger picture, as follows. There is a certain depressing patt...
V. R. Vemula, David Ball, Simon R. Thorne
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
A compact topology for sand automata
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
Alberto Dennunzio, Pierre Guillon, Benoît Ma...
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 8 months ago
Automated Termination Proofs for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Jürgen Giesl, Alexander...