322 search results - page 13 / 65 » Expressive power and abstraction in Essence |
105
click to vote
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We analyze the capacity of a multiple-input singleoutput system over Rayleigh fading channels. The channels are assumed to be independent and non-identically distribute...
102
click to vote
TWC
2010
14 years 6 months ago
2010
Abstract-- This paper studies a statistical distribution of instantaneous power in pulse-shaped single-carrier (SC) modulation. Such knowledge is of significant importance to estim...
102
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract--In this paper, the sum capacity of the Gaussian Multiple Input Multiple Output (MIMO) Cognitive Radio Channel (MCC) is expressed as a convex problem with finite number of...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
RIVF
2007
15 years 1 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...