Sciweavers

CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 8 months ago
Resource Allocation for Downlink Cellular OFDMA Systems: Part I - Optimal Allocation
In this pair of papers (Part I and Part II in this issue), we investigate the issue of power control and subcarrier assignment in a sectorized two-cell downlink OFDMA system impair...
Nassar Ksairi, Pascal Bianchi, Philippe Ciblat, Wa...
CORR
2008
Springer
108views Education» more  CORR 2008»
13 years 8 months ago
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Resolution refinements called w-resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there...
Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 8 months ago
Modular difference logic is hard
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...
Nikolaj Bjørner, Andreas Blass, Yuri Gurevi...
CORR
2008
Springer
101views Education» more  CORR 2008»
13 years 8 months ago
One useful logic that defines its own truth
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own ...
Andreas Blass, Yuri Gurevich
CORR
2008
Springer
118views Education» more  CORR 2008»
13 years 8 months ago
Distributed Constrained Optimization with Semicoordinate Transformations
Recent work has shown how information theory extends conventional full-rationality game theory to allow bounded rational agents. The associated mathematical framework can be used ...
William G. Macready, David Wolpert
CORR
2008
Springer
94views Education» more  CORR 2008»
13 years 8 months ago
Persistent Queries
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...
Andreas Blass, Yuri Gurevich
CORR
2008
Springer
50views Education» more  CORR 2008»
13 years 8 months ago
When are two algorithms the same?
People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of progra...
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
CORR
2008
Springer
119views Education» more  CORR 2008»
13 years 8 months ago
A maximum entropy approach to OFDM channel estimation
In this work, a Bayesian framework for OFDM channel estimation is proposed. Using the maximum entropy principle to exploit prior system information at the receiver, we successively...
Romain Couillet, Mérouane Debbah
CORR
2008
Springer
73views Education» more  CORR 2008»
13 years 8 months ago
Web Usage Analysis: New Science Indicators and Co-usage
Xavier Polanco, Ivana Roche, Dominique Besagni