1716 search results - page 342 / 344 » Proving Conditional Termination |
181
click to vote
TCS
2011
15 years 16 days ago
2011
Let F be a cellular automaton (CA). This paper establishes necessary conditions for F in order to be intrinsically universal. The central idea is to consider the communication com...
163
click to vote
TIT
2011
15 years 16 days ago
2011
: In this paper, a novel approach to the problem of estimating the heavy–tail exponent α > 0 of a distribution is proposed. It is based on the fact that block–maxima of siz...
153
click to vote
JNS
2010
15 years 11 days ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
190
click to vote
PE
2010
Springer
15 years 11 days ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
137
Voted
SIAMMAX
2010
15 years 10 days ago
2010
It is well-known that the Legendre-Fenchel conjugate of a positive definite quadratic form can be explicitly expressed as another positive definite quadratic form, and that the con...