4616 search results - page 175 / 924 » The Communication Complexity of Correlation |
186
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
– In this paper, we propose a decomposition method called Generalized Multi-Unitary Decomposition (GMUD) which is useful in multi-user MIMO precoding. This decomposition transfor...
199
click to vote
FMICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
161
click to vote
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— We consider a multicast resource allocation problem for the downlink in OFDM-based wireless cellular network systems. In a conventional multicast system, to accommodate users w...
181
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
153
click to vote
ACOM
2004
Springer
15 years 10 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...