1222 search results - page 105 / 245 » corr 2008 |
137
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
172
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- A generic intuition says that the pre-log, or multiplexing gain, cannot be larger than the minimum of the number of transmit and receive dimensions. This suggests that f...
127
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Currently engineering efficient and successful event-driven applications based on the emerging Complex Event Processing (CEP) technology, is a laborious trial and error process. T...
136
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: Business models involving buyers of digital goods in the distribution process are called superdistribution schemes. We review the state-of-the art of research and application of ...
149
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We present parallel and sequential dense QR factorization algorithms that are optimized to avoid communication. Some of these are novel, and some extend earlier work. Communicatio...