3353 search results - page 442 / 671 » Laver and set theory |
137
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We consider the multiple-access communication problem in a distributed setting for both the additive white Gaussian noise channel and the discrete memoryless channel. We propose a ...
153
click to vote
IJAR
2008
15 years 6 months ago
2008
As is well-known, residuated lattices (RLs) on the unit interval correspond to leftcontinuous t-norms. Thus far, a similar characterization has not been found for RLs on the set o...
177
click to vote
JAPLL
2008
15 years 6 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
173
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...
176
click to vote
DEDS
2007
15 years 6 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...