A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
Panoramic images and panoramic cameras (or sensors) are of increasing importance for various applications in computer vision, computer graphics, visualization, and robotics. Vario...
Abstract. This paper describes the design and evaluation of an adaptive museum guide for families. In the Kurio system, a mixture of embedded and tangible technology imbues the mus...
Marek Hatala, Karen Tanenbaum, Ron Wakkary, Kevin ...
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...