Sciweavers

9359 search results - page 429 / 1872
» Generalization Algorithms for Second-Order Terms
Sort
View
FOGA
2011
14 years 10 months ago
The logarithmic hypervolume indicator
It was recently proven that sets of points maximizing the hypervolume indicator do not give a good multiplicative approximation of the Pareto front. We introduce a new “logarith...
Tobias Friedrich, Karl Bringmann, Thomas Voß...
IPMI
2011
Springer
14 years 10 months ago
Nonnegative Factorization of Diffusion Tensor Images and Its Applications
This paper proposes a novel method for computing linear basis images from tensor-valued image data. As a generalization of the nonnegative matrix factorization, the proposed method...
Yuchen Xie, Jeffrey Ho, Baba C. Vemuri
PEPM
2011
ACM
14 years 9 months ago
Allocation removal by partial evaluation in a tracing JIT
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkow...
PLDI
2011
ACM
14 years 9 months ago
Precise and compact modular procedure summaries for heap manipulating programs
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagi...
SIGIR
2011
ACM
14 years 9 months ago
Decayed DivRank: capturing relevance, diversity and prestige in information networks
Many network-based ranking approaches have been proposed to rank objects according to different criteria, including relevance, prestige and diversity. However, existing approache...
Pan Du, Jiafeng Guo, Xueqi Cheng