193 search results - page 18 / 39 » Shape Analysis for Composite Data Structures |
TGC
2010
Springer
13 years 6 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
IPMI
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
MBEES
2008
13 years 10 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
SMI
2010
IEEE
13 years 7 months ago
2010
IEEE
—This paper introduces paper-strip sculptures, a physical mesh data-structure used to represent 2manifold mesh surfaces for understanding topological and geometrical aspects of s...
DOCENG
2004
ACM
14 years 2 months ago
2004
ACM
The advantages of a COG (Component Object Graphic) approach to the composition of PDF pages have been set out in a previous paper [1]. However, if pages are to be composed in this...