1192 search results - page 146 / 239 » Symbolic Query Exploration |
114
click to vote
JSAC
2007
15 years 3 months ago
2007
We explore the SNR-optimal relay functionality in a memoryless relay network, i.e. a network where, during each channel use, the signal transmitted by a relay depends only on the ...
120
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
125
click to vote
SRDS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-Software code reuse has long been touted as a reliable and efficient software development paradigm. Whilst this practice has numerous benefits, it is inherently susceptibl...
157
click to vote
TWC
2010
14 years 10 months ago
2010
The goal of this paper is to explore the benefits of channel diversity in wireless ad hoc networks. Our model is that of a Poisson point process of transmitters, each with a recei...
70
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...