Projects

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.

The aim of the SEMAINE project is to build a Sensitive Artificial Listener – a multimodal dialogue system with the social interaction skills needed for a sustained conversation with a human user. The

ConQA is an extension of the international project QALL-ME that is funded by the EC in its 6th framework. Whereas the EU-project QALL-ME mainly consists of application-oriented research in the area of

VOICE Award Jury-Tätigkeit und VOICE Award Usability-Test

The SHAPE project aims to support the development and realization of enterprise systems based on a Semantically-enabled Heterogeneous service Architecture (SHA). SHA extends Service Oriented Architect

Imagine what kind of applications become possible when our mobile devices do not only present data to the owner but provide valuable information to other users. Suppose that you are able to create ins

Pattern recognition and machine learning are already being used in many specialty applications (spam classification, handwriting recognition, OCR, ad placement, etc.), but their potential for improvin

The objective of the research project innoGov is to apply research methods from the field of process management to conception and improvement of administrative processes. Appropriate IT-supported e-Go

Partners University of Education Schwäbisch Gmünd, Université Montpellier, Cabrilog SAS, University of Bayreuth, Université du Luxembourg, University of Cantabria, TU Eindhoven, Maths for More, Univer

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic framework for modal logics in a broad sense. Moreover,