773 search results - page 39 / 155 » Program Slicing by Calculation |
101
click to vote
PEPM
2000
ACM
15 years 4 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
100
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
101
click to vote
MICCAI
2004
Springer
15 years 6 months ago
2004
Springer
A method is presented for interpolation between neighbouring slices in a grey-scale tomographic data set, when a high-resolution image of the same patient is also available. Spatia...
98
Voted
PG
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we consider the problem of reconstructing triangular surfaces from given contours. An algorithm solving this problem has to decide which contours of two successive s...
101
Voted
BMCBI
2010
15 years 21 days ago
2010
Background: Genome sequencing projects have expanded the gap between the amount of known protein sequences and structures. The limitations of current high resolution structure det...