3742 search results - page 429 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Here, a versatile data-driven application independent method to extend the depth of field is presented. The principal contribution in this effort is the use of features extracted ...
177
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We present a method for automatically segmenting skin lesions by initializing the random walker algorithm with seed points whose properties, such as colour and texture, h...
166
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
: Fault-based side channel cryptanalysis is very effective against symmetric and asymmetric encryption algorithms. Although straightforward hardware and time redundancy based concu...
153
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
166
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
We show the feasibility and the potential of a new signal processing algorithm for the high-resolution deconvolution of OCT signals. Our technique relies on the description of the...