STCDM: Spatio-Temporal Contrastive Diffusion Model for Check-In Sequence Generation | IEEE Journals & Magazine | IEEE Xplore