output
20042026
most citedHow to Explain Individual Classification Decisions

750 citations

46 papers

cs.LO2026

ASPIC: Proof-of-Concept ASP to Picat Transpiler

Cristian Grozea, Marius Popescu

This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated…

cs.RO2026

Magnetic Indoor Localization through CNN Regression and Rotation Invariance

Helge Rosé, Konstantin Klipp, Tom Koubek +2

Indoor positioning is an essential technology for a wide range of applications in GNSS-denied environments, including indoor navigation and IoT systems. Combining convolutional neu…

cs.CL2026

NERdME: a Named Entity Recognition Dataset for Indexing Research Artifacts in Code Repositories

Genet Asefa Gesese, Zongxiong Chen, Shufan Jiang +4

Existing scholarly information extraction (SIE) datasets focus on scientific papers and overlook implementation-level details in code repositories. README files describe datasets,…

cs.NI2026★ 1 cited

Location as a service with a MEC architecture

Christopher Schahn, Jorin Kouril, Bernd Schaeufele +1

In recent years, automated driving has become viable, and advanced driver assistance systems (ADAS) are now part of modern cars. These systems require highly precise positioning. I…

cs.CY2026★ 6 cited

Enhanced Accessibility for Mobile Indoor Navigation

Johannes Wortmann, Bernd Schäufele, Konstantin Klipp +3

The navigation of indoor spaces poses difficult challenges for individuals with visual impairments, as it requires processing of sensory information, dealing with uncertainties, an…

cs.PL2025

Picat Through the Lens of Advent of Code

Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand +1

Picat is a logic-based, multi-paradigm programming language that integrates features from logic, functional, constraint, and imperative programming paradigms. This paper presents s…