Sciweavers

269 search results - page 31 / 54
» Reversible structures
Sort
View
ESOP
2010
Springer
16 years 2 days ago
Amortised Resource Analysis with Separation Logic
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 ...
Robert Atkey
FDTC
2009
Springer
100views Cryptology» more  FDTC 2009»
15 years 9 months ago
Using Optical Emission Analysis for Estimating Contribution to Power Analysis
—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...
Sergei P. Skorobogatov
164
Voted
CORR
2010
Springer
135views Education» more  CORR 2010»
14 years 9 months ago
Top-K Color Queries for Document Retrieval
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 ...
Marek Karpinski, Yakov Nekrich
126
Voted
ICIP
2001
IEEE
16 years 4 months ago
Shape description of three-dimensional images based on medial axis
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...
Alexandra Bonnassie, Françoise Peyrin, Domi...
MICCAI
2004
Springer
16 years 3 months ago
Medical Image Segmentation Based on Mutual Information Maximization
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,...
Jaume Rigau, Miquel Feixas, Mateu Sbert, Anton Bar...