1596 search results - page 113 / 320 » Quantum property testing |
163
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
161
Voted
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
143
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
We present a framework for hypothesis testing of differences between groups of DTI fiber tracts. An anatomical, tract-oriented coordinate system provides a basis for estimating the...
130
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
145
Voted
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...