3742 search results - page 430 / 749 » On the Use of Formal Techniques for Validation |
159
Voted
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
Harmonic phase (HARP) magnetic resonance imaging (MRI) is an image analysis method for measuring tissue motion and strain from tagged MR images. Previous studies in cardiac tagged...
148
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
121
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As human-computer interaction increasingly focuses on mediated interactions among groups of individuals, there is a need to develop techniques for measurement and analysis of grou...
282
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
Mapping composition is a fundamental operation in metadata driven applications. Given a mapping over schemas 1 and 2 and a mapping over schemas 2 and 3, the composition problem is...
145
click to vote
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...