1755 search results - page 146 / 351 » An efficient simulation algorithm based on abstract interpre... |
134
Voted
SIGMOD
2001
ACM
16 years 3 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
122
click to vote
EDBT
2002
ACM
16 years 3 months ago
2002
ACM
Abstract. We present a simple query language for XML, which supports hierarchical, Boolean-connected query patterns. The interpretation of a query is founded on cost-based query tr...
157
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract — Regularized block diagonalization (RBD) is a new linear precoding technique for the multi-antenna broadcast channel and has a significantly improved sum rate and dive...
121
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Linear precoding for multiuser multiple input multiple output (MIMO) cellular systems has generally focused on a single isolated cell. A crucial tool in algorithm develo...
117
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—In this paper we aim to solve the multiuser multiinput multi-output (MIMO) downlink beamforming problem. The transmitter is a multi-antenna base-station broadcasting to ...