Mining temporal mobile sequential patterns in location-based service environments | IEEE Conference Publication | IEEE Xplore