3 papers
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.LO2025
Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
Florian Bruse, David Kronenberger, Martin Lange
The characterization of PSPACE-queries over ordered structures as exactly those expressible in first-order logic with partial fixpoints (Vardi'82) is one of the classical results i…
cs.LO2022
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes
Florian Bruse, David Kronenberger, Martin Lange
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus, hinging on the Immerman-Vardi…