: In this paper we present the conception and the implementation of a speech processing interface for cochlea prosthesis. This module is based on a numerical speech processing algo...
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
The use of information technology to manage patient consent is an important emerging area of research in health data management. This paper identifies literature, technological ad...
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...