3 citations · 4 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Theta as a Horn Solver
Levente Bajczi, Milán Mondok, Vince Molnár
Theta is a verification framework that has participated in the CHC-COMP competition since 2023. While its core approach -- based on transforming constrained Horn clauses (CHCs) int…
cs.LG2025★ 1 cited
Adaptive Law-Based Transformation (ALT): A Lightweight Feature Representation for Time Series Classification
Marcell T. Kurbucz, Balázs Hajós, Balázs P. Halmos +2
Time series classification (TSC) is fundamental in numerous domains, including finance, healthcare, and environmental monitoring. However, traditional TSC methods often struggle wi…