1716 search results - page 226 / 344 » Proving Conditional Termination |
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the local rank-modulation scheme in which a sliding window going over a sequence of real-valued variables induces a sequence of permutations. The local rankmodulation, ...
138
click to vote
COMBINATORICA
2008
15 years 4 months ago
2008
The rigidity of squares of graphs in three-space has important applications to the study of flexibility in molecules. The Molecular Conjecture, posed in 1984 by T-S. Tay and W. Wh...
120
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The problem of learning forest-structured discrete graphical models from i.i.d. samples is considered. An algorithm based on pruning of the Chow-Liu tree through adaptive threshol...
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The data model of an application, the nature and format of data stored across executions, is typically a very rigid part of its early specication, even when prototyping, and chang...
103
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this work we study the asymptotic traffic behaviour in Gromov's hyperbolic spaces when the traffic decays exponentially with the distance. We prove that under general condi...