6059 search results - page 893 / 1212 » A Technique for Verifying Measurements |
171
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
176
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Rician noise introduces a bias into MRI measurements that can have a significant impact on the shapes and orientations of tensors in diffusion tensor magnetic resonance images. Thi...
175
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. An important issue in electroencephalographiy (EEG) experiments is to measure accurately the three dimensional (3D) positions of the electrodes. We propose a system where...
181
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Diffusion tensor imaging (DTI) has become the major modality to study properties of white matter and the geometry of fiber tracts of the human brain. Clinical studies mostly focus ...
157
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Noninvasive temperature measurement is feasible with MRI to monitor changes in thermal therapy. Phase shift based MR thermometry gives an estimate of the relative temperature varia...