Computed-tomography or Magnetic Resonance based 3D model synchronization with real-time ultrasound data | IEEE Conference Publication | IEEE Xplore