1914 search results - page 266 / 383 » Verification by Abstract Interpretation |
105
click to vote
DAGM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
88
Voted
DEXA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...
98
Voted
BILDMED
2008
15 years 2 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...
86
Voted
BILDMED
2008
15 years 2 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...
150
Voted
DMIN
2008
15 years 2 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...