6568 search results - page 367 / 1314 » Reducing the Complexity of Reductions |
223
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
Abstract—We aim to enhance the end-to-end rate of a general dual-hop relay network with multiple channels and finite modulation formats, by jointly optimizing channel pairing, p...
187
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We present a novel multilinear algebra based approach for reduced dimensionality representation of image ensembles. We treat an image as a matrix, instead of a vector as in tradit...
181
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
280
click to vote
PPOPP
2003
ACM
16 years 26 days ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
214
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...