1716 search results - page 157 / 344 » Proving Conditional Termination |
117
Voted
TSMC
2008
15 years 17 days ago
2008
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...
99
Voted
COMBINATORICS
2002
15 years 15 days ago
2002
Let In() denote the number of involutions in the symmetric group Sn which avoid the permutation . We say that two permutations , Sj may be exchanged if for every n, k, and order...
84
Voted
ORDER
2000
15 years 14 days ago
2000
We prove a lemma which, under restrictive conditions, shows that epimorphisms in V are surjective if this is true for epimorphisms from irreducible members of V . This lemma is app...
59
Voted
COMBINATORICS
1999
15 years 11 days ago
1999
In 1964, Ronald Graham proved that there exist relatively prime natural numbers a and b such that the sequence {An} defined by An = An-1 + An-2 (n 2; A0 = a, A1 = b) contains no ...
86
Voted
TIT
2002
15 years 10 days ago
2002
This paper extends our earlier results. We assume that the receiver has the capability of capturing multiple packets so long as the signal-to-interference-plus-noise ratio (SINR) o...