444 search results - page 46 / 89 » Termination by Abstraction |
TLCA
2009
Springer
14 years 3 months 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...
GLOBECOM
2008
IEEE
14 years 3 months 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...
GLOBECOM
2008
IEEE
14 years 3 months 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...
PIMRC
2008
IEEE
14 years 3 months 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...
COMPGEOM
2006
ACM
14 years 3 months 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...