444 search results - page 46 / 89 » Termination by Abstraction |
170
click to vote
TLCA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
176
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—We address the problem of maximizing the minimum signal to interference and noise ratio of individual users via linear precoding in a multiuser downlink channel with mul...
144
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—In this article we present downlink simulation results for a realistic implementation of the LTE (Long Term Evolution) 3G standard. In contrast to previous studies, actu...
140
click to vote
PIMRC
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract—In this contribution we present a decentralized power allocation algorithm for the uplink interleave division multiple access (IDMA) channel. Within the proposed optimal...
149
click to vote
COMPGEOM
2006
ACM
16 years 2 days ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...