Personalized search in smart indoor environments: Combining a formal location model, user preferences and semantic similarity | IEEE Conference Publication | IEEE Xplore