24 citations · 65 across the 8 of their papers we have counts for
9 papers
Towards Automated COVID-19 Presence and Severity Classification
Dominik Müller, Niklas Schröter, Silvan Mertes +6
COVID-19 presence classification and severity prediction via (3D) thorax computed tomography scans have become important tasks in recent times. Especially for capacity planning of…
Jaco: An Offline Running Privacy-aware Voice Assistant
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
With the recent advance in speech technology, smart voice assistants have been improved and are now used by many people. But often these assistants are running online as a cloud se…
Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models
Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
In Spoken Language Understanding (SLU) the task is to extract important information from audio commands, like the intent of what a user wants the system to do and special entities…
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…
An Approach for Isolated Testing of Self-Organization Algorithms
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach +3
We provide a systematic approach for testing self-organization (SO) algorithms. The main challenges for such a testing domain are the strongly ramified state space, the possible er…
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…
On reverse-engineering the KUKA Robot Language
Henrik Mühe, Andreas Angerer, Alwin Hoffmann +1
Most commercial manufacturers of industrial robots require their robots to be programmed in a proprietary language tailored to the domain - a typical domain-specific language (DSL)…