8141 search results - page 257 / 1629 » Higher Order Generalization |
172
click to vote
TSP
2008
15 years 6 months ago
2008
A generalized concept of interference suppression is introduced for multiuser systems with a known memoryless transmit non-linearity, such as in the downlink amplifier of a satelli...
153
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
199
Voted
FINANCECOM
2007
Springer
16 years 9 days ago
2007
Springer
For the execution of large equity orders, institutional investors often use the Volume Weighted Average Price (VWAP) as a benchmark to measure execution quality. To achieve this, ...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Two distinct models of feedback, suited for FDD (Frequency Division Duplex) and TDD (Frequency Division Duplex) systems respectively, have been widely studied in the literature. In...
122
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...