Projekte

Aktive Filter:

Zeige Ergebnisse 1 bis 4 von 4.

Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

Deep-Learning-Verfahren werden in vielen Anwendungsgebieten eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine verlässliche Au
VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro
INTUITIV – Intuitiv-nonverbale und informativ-verbale Roboter-Mensch-Kommunikation

Unser Ziel ist zu untersuchen wie Intentionen eines Roboters von Menschen verstanden werden können durch antizipierbare Pfadwahl in Kombination mit ikonischer und sprachlicher Kommunikation, so dass d
HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

Das vom Bundesministerium für Bildung und Forschung (BMBF) geförderte Projekt HySociaTea (Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments) realisiert und untersucht die