7393 search results - page 263 / 1479 » Synthesis-for-testability using transformations |
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We introduce the Line Search A-Function (LSAF) technique that generalizes the Extended-Baum Welch technique in order to provide an effective optimization technique for a broader s...
153
click to vote
FIMH
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. The analysis of cardiac dynamics – especially of the left ventricle – is a means for evaluating the healthiness of the heart. In case that a malfunction has been dete...
134
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper we demonstrate the effectiveness of reference (or atlas)-based non-rigid registration to the segmentation of medical and biological imagery. In particular we introdu...
174
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
152
click to vote
SIGADA
2007
Springer
15 years 10 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...