Using mobile devices to personalize pervasive displays