Speaker clustering is the task of grouping a set of speech utterances into speaker-specific classes. The basic techniques for solving this task are similar to those used for spea...
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
In this paper, the automatic customization of an agent-based medical system is approached by means of ontologies. The particular case of Home Care studied and developed in the EU K...
Social networks play important roles in the Semantic Web: knowledge management, information retrieval, ubiquitous computing, and so on. We propose a social network extraction syst...
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...