Projekte

Zeige Ergebnisse 61 bis 64 von 64

OPENMATH – OPENMATH
SPP RoboCup – Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen

In dem Projekt werden anhand des RoboCup-Szenarios Methoden entwickelt, die es ermöglichen, sowohl primitive Aktionen als auch komplexe …
MMISS – Multimedia - Instruktion in Sicheren Systemen

Ziel des Projektes ist die Erstellung eines umfassenden, multimedialen, adaptiven Lehr- und Lernsystems für das Gebiet der Sicheren Systeme. Durch die …
Hets – Heterogeneous Tool Set

Das Projekt Multiple/Hets entwickelt einen Rahmen zur heterogenen Integration von formalen Methoden und Werkzeugen. Partner Universität Bremen