Projects

MIPPA – Projektname Englisch

The MIPPA project investigates usage foundations of proof planning techniques in mathematical tutoring systems. It targets the integration of the proof planner MULTI as back-engine for proof exercises

gnowsis – gnowsis

Gnowsis ist a Software Tool to gather, order and structure the miscellanous Information and Data that can be found on personal computers by the principles of the semantic web. The Gnowsis system adds

PEACH – Personal Experience with Active Cultural Heritage

NECA – A Net Environment for Embodied Emotional Conversational Agents

The success of user interfaces based on conversational agents is very much dependent on the agents' conversational skills, and their ability to consistently portray personality and react in an emotion

DIC – Discretionary Information Flow Control

Protection Profiles for Discretionary Information Flow Control The protection of information flow is prevalently implemented with techniques like access control functions, encryption procedures or fir

EUTIST-AMI – EUropean Take-up of essential Information Society Tecnologies - Agents and MIddleware

Eutist-Ami is an European Commission initiative aiming to help SMEs to improve their competitiveness and production processes by using leading edge Information Technologies as Agents and middleware. A

OPENMATH – OPENMATH

Ontoweb – A Key Enabler for E-Commerce & Knowledge Management

COLLATE – Computational Linguistics and Language Technology for Real Life Applications

COLLATE is a project dedicated to building up and enhancing the German Competence Center for Language Technology in Saarbrücken. The competence center consists of three components that are hosted at D