Sciweavers

422 search results - page 8 / 85
» On combinations of CMA equalizers
Sort
View
108
Voted
LICS
2010
IEEE
14 years 10 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
114
Voted
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 15 days ago
Chunky and Equal-Spaced Polynomial Multiplication
Finding the product of two polynomials is an essential and basic problem in computer algebra. While most previous results have focused on the worst-case complexity, we instead emp...
Daniel S. Roche
82
Voted
IEICET
2006
70views more  IEICET 2006»
15 years 12 days ago
Subcarrier Block Power Control for Adaptive Downlink OFDM with Frequency Spreading and Equalization
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...
Nam-Su Kim, Sungho Cho, Chang-Jun Ahn
118
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
All Bits Are Not Equal - A Study of IEEE 802.11 Communication Bit Errors
—In IEEE 802.11 Wireless LAN (WLAN) systems, techniques such as acknowledgement, retransmission, and transmission rate adaptation, are frame-level mechanisms designed for combati...
Bo Han, Lusheng Ji, Seungjoon Lee, Bishwaranjan Bh...
90
Voted
VMCAI
2005
Springer
15 years 5 months ago
Checking Herbrand Equalities and Beyond
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
Markus Müller-Olm, Oliver Rüthing, Helmu...