422 search results - page 20 / 85 » On combinations of CMA equalizers |
101
click to vote
CNSR
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, the issue of channel estimation with multiple In-Cell co-channel Users (ICUs) in the presence of Out of Cell Interferers (OCIs) is addressed. A Single Carrier Frequ...
102
click to vote
AI
2001
Springer
15 years 2 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
106
Voted
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
VSTTE
2012
Springer
13 years 5 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
CONCUR
2012
Springer
13 years 2 days ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...