821 search results - page 120 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
112
click to vote
ISBI
2002
IEEE
16 years 16 days ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
IPMI
2001
Springer
16 years 19 days ago
2001
Springer
Spatial and temporal correlations which affect the signal measured in functional MRI (fMRI) are usually not considered simultaneously (i.e., as non-independent random processes) in...
MICCAI
2004
Springer
16 years 21 days ago
2004
Springer
Diffusion Tensor MRI has become the preferred imaging modality to explore white matter structure and brain connectivity in vivo. Conventional region of interest analysis and voxel-...
ISBI
2008
IEEE
16 years 15 days ago
2008
IEEE
Accurate system modeling in tomographic image reconstruction has been shown to reduce the spatial variance of resolution and improve quantitative accuracy. System modeling can be ...