Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 11 bis 14 von 14
  1. Fast&Slow – Kombination Symbolischer und Subsymbolischer Methoden

    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 …

  2. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    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 …

  3. TRACTAT – Transfer of Control (ToC) zwischen Autonomen Systemen und Menschen

    TRACTAT – Transfer of Control (ToC) zwischen Autonomen Systemen und Menschen

    Das Projekt TRACTAT nimmt sich einer der Kernherausforderungen bei autonomen Systemen an: dem Kontrollübergang zwischen Menschen und autonomen …

  4. VISTRA – Virtual Simulation and Training of Assembly and Service Processes in Digital Factories

    VISTRA – Virtual Simulation and Training of Assembly and Service Processes in Digital Factories

    The information gap between virtual product and manufacturing engineering and the physical start of production is a fundamental problem for European …