Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
Carsten SinzWolfgang KüchlinPublished in: SAT (2004)
Keyphrases
- extended abstract
- magnetic resonance
- mr images
- medical images
- image data
- image registration
- mr imaging
- brain image segmentation
- soft tissue
- brain images
- mr brain images
- mr brain
- sat solvers
- brain tumors
- image volumes
- mri data
- multiple sclerosis
- cardiac motion
- image slices
- image processing
- magnetic resonance images
- mutual information
- machine learning
- image segmentation
- phase contrast
- partial volume effects