269 search results - page 31 / 54 » Reversible structures |
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
FDTC
2009
Springer
14 years 2 months ago
2009
Springer
—This paper shows that optical emissions from an operating chip have a good correlation with power traces and can therefore be used to estimate the contribution of different area...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
In this paper we describe a new efficient (in fact optimal) data structure for the top-K color problem. Each element of an array A is assigned a color c with priority p(c). For a ...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
3D-shape description requires the partition of objects in different parts. In this paper, we propose a new approach based on the analysis of a 3D skeleton. The skeleton is a repre...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Abstract. In this paper we propose a two-step mutual informationbased algorithm for medical image segmentation. In the first step, the image is structured into homogeneous regions,...