Sciweavers

549 search results - page 57 / 110
» Integer-Forcing Linear Receivers
Sort
View
PKC
2010
Springer
179views Cryptology» more  PKC 2010»
14 years 1 months ago
Preventing Pollution Attacks in Multi-source Network Coding
Network coding is a method for achieving channel capacity in networks. The key idea is to allow network routers to linearly mix packets as they traverse the network so that recipi...
Shweta Agrawal, Dan Boneh, Xavier Boyen, David Man...
CADE
2009
Springer
14 years 3 months ago
Interpolant Generation for UTVPI
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...
ICC
2007
IEEE
143views Communications» more  ICC 2007»
14 years 3 months ago
An Improved Joint M-Algorithm for Single Antenna Interference Cancellation in TDMA Mobile Radio
— We target M-ary data sequence estimation over time-variant frequency selective fading channels subject to cochannel interference (CCI). A novel joint reduced state sequence est...
Thorben Detert, Romain Drauge
VTC
2006
IEEE
14 years 3 months ago
An Iterative Detection Technique for DS-CDMA Signals with Strong Nonlinear Distortion Effects
Abstract - Whenever a DS-CDMA signal (Direct Sequence Code Division Multiple Access) is the sum of several components associated to different spreading codes (e.g., the DS-CDMA sig...
Rui Dinis, Paulo Silva
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 9 months ago
On Full Diversity Space-Time Block Codes with Partial Interference Cancellation Group Decoding
In this paper, we propose a partial interference cancellation (PIC) group decoding strategy/scheme for linear dispersive space-time block codes (STBC) and a design criterion for th...
Xiaoyong Guo, Xiang-Gen Xia