Projekte

Aktive Filter:

Zeige Ergebnisse 11 bis 15 von 15.

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
ABILITY – Ganzheitliche Befähigung zur hybriden Wertschöpfung

Die Verbindung von Sachgütern und Dienstleistungen zu hybriden Leistungsbündeln führt zu neu gebündelten Formen der Wertschöpfung: Das Produkt wird zum materiellen Träger einer Vielzahl von Dienstleis
CoMem – Corporate Memory

CoMem is an ecosystem based on evolving knowledge graphs integrating information silos and legacy systems as well as (personal) information sources of knowledge workers and their teams. The ecosystem
IRL – Labor für Innovative Handelstechnologie in Zusammenarbeit mit Globus

Im Rahmen des Innovative Retail Laboratory (IRL), einem anwendungsnahen Forschungslabor des DFKI, werden in enger Verbindung mit den Fachexperten von Globus innovative Technologien für den Handel von