6456 search results - page 291 / 1292 » Constraint Solving on Terms |
228
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
This paper introduces a novel image decomposition approach for an ensemble of correlated images, using low-rank and sparsity constraints. Each image is decomposed as a combination...
168
click to vote
MOBICOM
2005
ACM
16 years 6 days ago
2005
ACM
This paper is a contribution to the generic problem of having simple and accurate models to dimension radio cells with data traffic on a GPRS or EDGE network. It addresses the iss...
169
click to vote
PLDI
2004
ACM
16 years 2 days ago
2004
ACM
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
173
click to vote
COMCOM
2007
15 years 6 months ago
2007
Real-time transmission over asymmetric satellite IP links is challenging, since satellite systems commonly exhibit long propagation delays, while bandwidth asymmetry often enforce...
278
click to vote
TOPLAS
2008
15 years 6 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...