193 search results - page 18 / 39 » Shape Analysis for Composite Data Structures |
135
click to vote
TGC
2010
Springer
15 years 1 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...
120
Voted
IPMI
2007
Springer
16 years 4 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...
162
Voted
MBEES
2008
15 years 4 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...
149
Voted
SMI
2010
IEEE
15 years 1 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...
124
Voted
DOCENG
2004
ACM
15 years 8 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...