2996 search results - page 496 / 600 » Numberings and Randomness |
161
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider the problem of multi-cell downlink beamforming with N cells and K terminals per cell. Cooperation among base stations (BSs) has been found to increase the system throug...
171
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, a cooperative multicast scheme that uses Randomized Distributed Space Time Codes (RDSTC), along with packet level Forward Error Correction (FEC), is studied. For the...
189
click to vote
SSDBM
2010
IEEE
15 years 4 months ago
2010
IEEE
Reservoir sampling is a well-known technique for random sampling over data streams. In many streaming applications, however, an input stream may be naturally heterogeneous, i.e., c...
199
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
152
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We study Facility Location games, where a number of facilities are placed in a metric space based on locations reported by strategic agents. A mechanism maps the agents' locat...