Despite the increasing availability of various forms of digital maps and guides, paper still prevails as the main information medium used by tourists during city visits. The autho...
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...
Loop-R is a real-time video performance tool, based in the exploration of low-tech, used technology and human engineering research. With this tool its author is giving a shout to ...
Abstract. Availability of real-time speech transcription anywhere, anytime, represents a potentially life-changing opportunity for the hearingimpaired to improve their communicatio...