933 search results - page 171 / 187 » A Fully Automatic hp-Adaptivity |
PC
2007
13 years 9 months ago
2007
Abstract. In this paper, we focus on MPI collective algorithm selection process and explore the applicability of the quadtree encoding method to this problem. During the algorithm ...
ICMCS
2010
IEEE
13 years 8 months ago
2010
IEEE
In saliency detection, regions attracting visual attention need to be highlighted while effectively suppressing non-salient regions for the semantic scene understanding. However, ...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Multi-target tracking becomes significantly more challenging when the targets are in close proximity or frequently interact with each other. This paper presents a promising tr...
JSC
2010
13 years 8 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
CT colonography (CTC) is a minimally invasive screening technique for colorectal polyps and colon cancer. Since electronic colon cleansing (ECC) cannot completely remove the presen...