Synchronous Image-Label Diffusion Probability Model With Application to Stroke Lesion Segmentation on Non-Contrast CT | IEEE Journals & Magazine | IEEE Xplore