Activity-Enriched Computing: Capturing and Mining Activity Histories | IEEE Journals & Magazine | IEEE Xplore