2206 search results - page 129 / 442 » On the power of coercion abstraction |
111
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--We propose an algorithm to maximize the instantaneous sum data rate transmitted by a base station in the downlink of a multiuser multiple-input, multiple-output system. T...
125
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
133
click to vote
PAAMS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
123
click to vote
PIMRC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Dynamic spectrum access (DSA) supporting opportunistic transmission without extra spectrum bandwidth is attractive for future wireless communication. To facilitate such D...
128
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- The problem of finding the eigenvector corresponding to the largest eigenvalue of a stochastic matrix has numerous applications in ranking search results, multi-agent co...