1716 search results - page 231 / 344 » Proving Conditional Termination |
151
click to vote
TCOM
2008
15 years 3 months ago
2008
Network coding is a powerful coding technique that has been proved to be very effective in achieving the maximum multicast capacity. It is especially suited for new emerging networ...
79
Voted
TIT
2008
15 years 3 months ago
2008
Abstract--We study continuous-time multidimensional widesense stationary (WSS) and (almost) cyclostationary processes in the frequency domain. Under the assumption that the correla...
JAT
2007
15 years 3 months ago
2007
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
107
Voted
COMPUTING
2004
15 years 3 months ago
2004
In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...
114
Voted
MOC
2000
15 years 3 months ago
2000
Let (n) denote the sum of positive divisors of the natural number n. Such a number is said to be perfect if (n) = 2n. It is well known that a number is even and perfect if and only...