In this paper, we propose a salient object extraction method using the contrast map and salient points for object-based image retrieval. In order to make the contrast map, we gener...
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomm...
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...