Zobrazeno 1 - 10
of 2 190
pro vyhledávání: '"Fuhs BE"'
Speaker diarization systems segment a conversation recording based on the speakers' identity. Such systems can misclassify the speaker of a portion of audio due to a variety of factors, such as speech pattern variation, background noise, and overlapp
Externí odkaz:
http://arxiv.org/abs/2406.17124
Autor:
Ravenscroft, William, Close, George, Goetze, Stefan, Hain, Thomas, Soleymanpour, Mohammad, Chowdhury, Anurag, Fuhs, Mark C.
One solution to automatic speech recognition (ASR) of overlapping speakers is to separate speech and then perform ASR on the separated signals. Commonly, the separator produces artefacts which often degrade ASR performance. Addressing this issue typi
Externí odkaz:
http://arxiv.org/abs/2406.08914
Publikováno v:
Fundamenta Informaticae, Volume 192, Issue 2: LOPSTR 2022 (November 10, 2024) fi:11397
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2305.18250
We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in the size of the start term. We propose automatic techniques to derive
Externí odkaz:
http://arxiv.org/abs/2208.01005
As virtual assistants have become more diverse and specialized, so has the demand for application or brand-specific wake words. However, the wake-word-specific datasets typically used to train wake-word detectors are costly to create. In this paper,
Externí odkaz:
http://arxiv.org/abs/2207.03331
Autor:
Frohn, Florian, Fuhs, Carsten
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques has been proposed. However, so far all of them have been monolithic, i.e., a single loop
Externí odkaz:
http://arxiv.org/abs/2111.13952
Autor:
Thomas Fuhs, Bianca Flachmeyer, Martin Krueger, Alexandra Blietz, Wolfgang Härtig, Dominik Michalski
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-8 (2023)
Abstract Knowledge of the brain’s structure and function is essential for understanding processes in health and disease. Histochemical and fluorescence-based techniques have proven beneficial in characterizing brain regions and cellular composition
Externí odkaz:
https://doaj.org/article/a39317cc045e4c4296070401687910e3
Autor:
Fuhs, Carsten, Kop, Cynthia
We revisit the static dependency pair method for proving termination of higher-order term rewriting and extend it in a number of ways: (1) We introduce a new rewrite formalism designed for general applicability in termination proving of higher-order
Externí odkaz:
http://arxiv.org/abs/1902.06733
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fuhs, Carsten, Kop, Cynthia
In recent years, two higher-order extensions of the powerful dependency pair approach for termination analysis of first-order term rewriting have been defined: the static and the dynamic approach. Both approaches offer distinct advantages and disadva
Externí odkaz:
http://arxiv.org/abs/1805.09390