1755 search results - page 98 / 351 » An efficient simulation algorithm based on abstract interpre... |
127
click to vote
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
149
click to vote
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. Data stream mining has become a novel research topic of growing interest in knowledge discovery. Most proposed algorithms for data stream mining assume that each data blo...
115
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
129
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract-- In this paper we present the Statistical Retimingbased Timing Analysis (SRTA) algorithm. The goal is to compute the timing slack distribution for the nodes in the timing...
137
click to vote
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...