Projects

NIFTi – Natural human-robot cooperation in dynamic environments

NIFTi puts the human factor into cognitive architectures. NIFTi investigates how natural behavior in human-robot cooperation can arise. It ...

COGNITO – Cognitive Workflow Capturing and Rendering with On-Body Sensor-Networks

Augmented and virtual reality are becoming more and more common in systems for user assistance, educational simulators, novel games, and the whole ...

ProForm – ProForm

- Dr. rer. nat. Andreas Nonnengart

SUDPLAN – Sustainable Urban Development Planner for Climate Change Adaptation

The SUDPLAN project aims at developing an easy-to-use web-based planning, prediction, decision support and training tool, for the use in an urban ...

BESAHOT – Explanative Bewertungsanalyse für die Saarländische Hotellerie

The main goal of the project is the creation of a web portal that collects, analyzes and evaluates guest comments, ratings and reviews of hotels and ...

B-HIP – Business for High-Performance Computing

The project B-HiP investigates the applicability of high-performance computing infrastructure to sup-port the execution of business transactions. In ...

Accurat – Analysis and Evaluation of Comparable Corpora for Under-Resourced Areas of Machine Translation

The project aims at researching methods and techniques to overcome one of the central problems of machine translation (MT) – the lack of linguistic ...

IWI-Handbook – IWi-Handbuch des Business Process Engineering - Empirische Beobachtungen, Gesetze und Theorien

In den letzten Jahren hat sich eine prozessorientierte Entwicklung von Informationssystemen zunehmend etabliert. In der Frühzeit der ...

INBEKI-ESTeT – Interaktionsgesteuerte Bilddatenanalyse zur Bekämpfung von Kinderpornographie (INBEKI) - Teilvorhaben: Erkennung von Szenen, Teilbildern, und Text (INBEKI-ESTeT)

Durch die technischen Möglichkeiten des Internet wird eine rapide Zunahme der Verbreitung von kinderpornografischem Material registriert. Allein in ...

LATIN – Logic Atlas & Integrator

Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering. Partners ...