Projects

Displaying results 1 to 3 of 3.

Fast&Slow – Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very efficiently after a training phase. However, in general no reliable statement …
VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …
aiPhilos – Developing a search engine for the B2C area using artificial intelligence.

The goal of the project is to adapt the results of the projects "KI-Suche" to the B2C area. In doing so, search queries from mobile devices to diverse …