3221 search results - page 39 / 645 » Termination of Linear Programs |
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
JMLR
2012
11 years 10 months ago
2012
ENTCS
2006
13 years 7 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Deafness is a key problem. It erodes the performance gains provided by directional antennas, and introduces a new hidden terminal problem. To address deafness, and henc...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a new pricing function for noncooperative power control game in a single cell CDMA data network. Considering a utility function for each terminal, the purpo...