7988 search results - page 1221 / 1598 » A Useful Undecidable Theory |
180
click to vote
WIOPT
2005
IEEE
16 years 14 days ago
2005
IEEE
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual fixed target SIR level and beyon...
171
click to vote
ACMSE
2005
ACM
16 years 14 days ago
2005
ACM
Typically viewed as competing design approaches, this paper illustrates how claims and personas can be used together in user interface design. Our combined approach is exemplified...
163
click to vote
HT
2005
ACM
16 years 14 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
200
click to vote
ICFP
2005
ACM
16 years 14 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
219
click to vote
ISLPED
2005
ACM
16 years 14 days ago
2005
ACM
This paper explores the power implications of replacing global chip wires with an on-chip network. We optimize network links by varying repeater spacing, link pipelining, and volt...