Semi-Automatic Vortex Extraction in 4D PC-MRI Cardiac Blood Flow Data using Line Predicates | IEEE Journals & Magazine | IEEE Xplore