MRI: Modular reasoning about interference in incremental programming.
Bruno C. d. S. OliveiraTom SchrijversWilliam R. CookPublished in: J. Funct. Program. (2012)
Keyphrases
- magnetic resonance imaging
- programming language
- magnetic resonance images
- medical images
- modular structure
- incremental learning
- mri images
- data driven
- spatial reasoning
- mri data
- computer programs
- brain scans
- object oriented programming
- computer vision
- multipath
- mr images
- general purpose
- computer programming
- programming course
- brain tumors
- image registration
- formal theory
- incremental clustering
- website
- incremental version
- myocardial infarction
- knowledge base