On Uncertainty in Context-Aware Computing: Appealing to High-Level and Same-Level Context for Low-Level Context Verification In Proceedings of the 1st International Workshop on Ubiquitous Computing - Volume 0ICEIS, 62-72, 2004 , Porto, Portugal