[IEEE IEEE EUROCON 2011 - International Conference on Computer as a Tool - Lisbon (2011.04.27-2011.04.29)] 2011 IEEE EUROCON - International Conference on Computer as a Tool - An approach to generating C code with proven LTL-based properties
- 作者Paska, M.
- 文件大小106.35KB
- 发表时间2011
- DOI10.1109/eurocon.2011.5929273
- 页码1-4
Automated melanoma recognitionGanster, H.; Pinz, P.; Rohrer, R.; Wildling, E.; Binder, M.; Kittler, H. · IEEE Transactions on Medical Imaging · 2001
Image registrationPluim, J.P.W.; Fitzpatrick, J.M. · IEEE Transactions on Medical Imaging · 2003
Blind Compressive Sensing Dynamic MRILingala, S. G.; Jacob, M. · IEEE Transactions on Medical Imaging · 2013
Ultrasound image segmentation: a surveyNoble, J.A.; Boukerroui, D. · IEEE Transactions on Medical Imaging · 2006
Multiscale Vessel TrackingWink, O.; Niessen, W.J.; Viergever, M.A. · IEEE Transactions on Medical Imaging · 2004
Structure Propagation for Image RegistrationYigitsoy, Mehmet; Navab, Nassir · IEEE Transactions on Medical Imaging · 2013
On the comparison of interpolation methodsMaeland, E. · IEEE Transactions on Medical Imaging · 1988
Multiatlas Segmentation as Nonparametric RegressionAwate, Suyash P.; Whitaker, Ross T. · IEEE Transactions on Medical Imaging · 2014