844 search results - page 70 / 169 » Further results on concordance relations |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Impact analysis -- determining the potential effects of changes on a software system -- plays an important role in software engineering tasks such as maintenance, regression testi...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
105
click to vote
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a novel framework to reconstruct the left ventricle (LV)’s 3D surface from sparse tagged-MRI (tMRI). First we acquire an initial surface mesh from a dense tMRI. Then ...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
BIOSURVEILLANCE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...