3951 search results - page 149 / 791 » Automatic amortized analysis |
145
click to vote
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
145
click to vote
MICRO
1993
IEEE
15 years 9 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
147
click to vote
NLDB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
129
Voted
CISIM
2007
IEEE
15 years 8 months ago
2007
IEEE
This article presents a semi-automatic segmentation of the fibrous liver tissue in the in-vivo liver biopsy color images. The segmentation is performed using a tree-based classifi...
139
Voted
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...