9 citations · 25 across the 4 of their papers we have counts for
4 papers
Scribosermo: Fast Speech-to-Text models for German and other Languages
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
Recent Speech-to-Text models often require a large amount of hardware resources and are mostly trained in English. This paper presents Speech-to-Text models for German, as well as…
Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics
Michael Filipenko, Andreas Angerer, Alwin Hoffmann +1
This paper introduces two case studies combining the field of industrial robotics with Mixed Reality (MR). The goal of those case studies is to get a better understanding of how MR…
A Graphical Language for Real-Time Critical Robot Commands
Andreas Angerer, Remi Smirra, Alwin Hoffmann +3
Industrial robotics is characterized by sophisticated mechanical components and highly-developed real-time control algorithms. However, the efficient use of robotic systems is very…
A Formal Model of a Virtual Filesystem Switch
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg +2
This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into…