3342 search results - page 342 / 669 » Automating Abstract Interpretation |
119
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
127
click to vote
BILDMED
2008
15 years 6 months ago
2008
Abstract. Perfusion data characterize the regional blood flow in human tissue. For each voxel, a time-intensity curve (TIC) represents the enhancement of a contrast agent (CA). Par...
120
click to vote
BILDMED
2008
15 years 6 months ago
2008
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
184
click to vote
DMIN
2008
15 years 6 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
139
click to vote
FMOODS
2008
15 years 6 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...