1716 search results - page 233 / 344 » Proving Conditional Termination |
106
click to vote
ACS
2010
15 years 3 months ago
2010
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modu...
114
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We consider a dense n-user Gaussian interference network formed by paired transmitters and receivers placed independently at random in Euclidean space. Under natural conditions on ...
131
Voted
IJBC
2008
15 years 3 months ago
2008
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...
126
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Dynamic spectrum trading amongst small cognitive users is fundamentally different along two axes: temporal variation, and spatial variation of user demand and channel condition....
159
Voted
ISCI
2010
15 years 2 months ago
2010
A random set can be regarded as the result of the imprecise observation of a random variable. Following this interpretation, we study to which extent the upper and lower probabili...