Sciweavers

323 search results - page 4 / 65
» Exact Approximations of omega Numbers
Sort
View
ICASSP
2008
IEEE
15 years 4 months ago
Low-complexity receivers for multiuser detection with an unknown number of active users
In multiuser detection, the set of users active at any time may be unknown to the receiver. A two-step detection procedure, in which multiuser detection is preceded by active-user...
Daniele Angelosante, Ezio Biglieri
CIAC
2006
Springer
278views Algorithms» more  CIAC 2006»
15 years 1 months ago
Covering a Set of Points with a Minimum Number of Lines
We consider the minimum line covering problem: given a set S of n points in the plane, we want to find the smallest number l of straight lines needed to cover all n points in S. W...
Magdalene Grantson, Christos Levcopoulos
VTC
2007
IEEE
192views Communications» more  VTC 2007»
15 years 3 months ago
Exact BER Analysis of OFDM Systems Communicating over Frequency-Selective Fading Channels Subjected to Carrier Frequency Offset
— Orthogonal Frequency Division Multiplexing (OFDM) has been employed in numerous wireless standards. However, the performance of OFDM systems is degraded by both the Carrier Fre...
Xiang Liu, Lajos Hanzo
JUCS
2010
109views more  JUCS 2010»
14 years 4 months ago
Semantics of Query-Driven Communication of Exact Values
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
Michal Konecný, Amin Farjudian
83
Voted
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 3 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan