Projekte

ProForm – Formale Methoden für die Steuerung von Produktionsanlagen

Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung ...

LT-World – Language Technology World

Bei Language Technology World handelt es sich um ein ontologiebasiertes virtuelles Informationszentrum über das weite Spektrum der Technologien die ...

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

Hauptziel des Projekts ist die Schaffung eines Web-Portals, in dem Kommentare und Bewertungen von Gästen saarländischer Hotels gesammelt, ausgewertet ...

B-HIP – B-HIP

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

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

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

Das Projekt zielt auf die Erforschung von Methoden und Techniken zur Überwindung eines der zentralen Probleme in der Maschinellen Übersetzung (MÜ) - ...

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

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

LATIN – Logic Atlas & Integrator

Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung. Partner ...

CUSLAM – Confined Underwater SLAM

Im Projekt CUSLAM soll ein robuster Algorithmus zur Selbstlokalisierung und Kartenerstellung in komplexen, räumlich eingeschränkten ...