Projects

FormalSafe – Formal Development for Safe Robotics

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

VI-Bot – Virtual immersion for holistic feedback control of semi-autonomous robots

VI-Bot integrates approaches from the areas of robotics, neurosciences and human-machine interaction into an innovative system designed for remote ...

ConQA – Controlled Semantic-based Question Answering

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 ...

m:Ciudad – Service creation on the move, with the mobile device, for mobile users.

Imagine what kind of applications become possible when our mobile devices do not only present data to the owner but provide valuable information to ...

SHAPE – Semantically-enabled Heterogeneous service Architecture and Platforms Engineering

The SHAPE project aims to support the development and realization of enterprise systems based on a Semantically-enabled Heterogeneous service ...

PaREn – Patter Recognition Engineering

Pattern recognition and machine learning are already being used in many specialty applications (spam classification, handwriting recognition, OCR, ad ...

innoGov – Process-oriented administration by innovative eGovernment solutions

The objective of the research project innoGov is to apply research methods from the field of process management to conception and improvement of ...

IRL – Laboratory for Innovative Retail Technology in cooperation with Globus

Within the Innovative Retail Laboratory (IRL), an application-oriented research laboratory of the DFKI, innovative technologies for the retail of ...

GenMod – Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic ...

InterGeo – Interactive Geometry for Europe

Partners University of Education Schwäbisch Gmünd, Université Montpellier, Cabrilog SAS, University of Bayreuth, Université du Luxembourg, University ...