12 citations · 17 across the 10 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SD2026
Sori: Streamable and Controllable Model for Non-musical Audio to Symbolic Music Transformation
Kyungsu Kim, Yejin Kim, Kyogu Lee
We introduce Non-musical Audio to Symbolic Music Transformation (NASMT), a novel task that converts non-musical audio into symbolic music representations. Unlike automatic music tr…
cs.LO2026
Finite Convergence of the Modal Mu-Calculus on Almost-Periodic Words
Fabian Lehr, Florian Bruse
A formula of the modal mu-calculus enjoys finite convergence on a structure if there is some finite unfolding of the formula that defines the same set. A structure enjoys finite co…
cs.LO2026
A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
Florian Bruse, Martin Lange
We investigate the possibility to separate the bisimulation-invariant fragment of P from that of NP, resp. PSPACE. We build on Otto's Theorem stating that the bisimulation-invarian…