output
20022026
most citedLinear-Time Algorithms for Computing Maximum-Density Sequence Segments with Bioinformatics Applications

49 citations

41 papers

cs.SC2026★ 2 cited

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4

Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…

cs.IR2025

Visual Lifelog Retrieval through Captioning-Enhanced Interpretation

Yu-Fei Shih, An-Zi Yen, Hen-Hsen Huang +1

People often struggle to remember specific details of past experiences, which can lead to the need to revisit these memories. Consequently, lifelog retrieval has emerged as a cruci…

cs.CL2025★ 4 cited

Event Causality Identification with Synthetic Control

Haoyu Wang, Fengze Liu, Jiayao Zhang +2

Event causality identification (ECI), a process that extracts causal relations between events from text, is crucial for distinguishing causation from correlation. Traditional appro…

cs.SD2025

VioPTT: Violin Technique-Aware Transcription from Synthetic Data Augmentation

Ting-Kang Wang, Yueh-Po Peng, Li Su +1

While automatic music transcription is well-established in music information retrieval, most models are limited to transcribing pitch and timing information from audio, and thus om…

cs.CR2025★ 2 cited

Enhancing Resilience for IoE: A Perspective of Networking-Level Safeguard

Guan-Yan Yang, Jui-Ning Chen, Farn Wang +1

The Internet of Energy (IoE) integrates IoT-driven digital communication with power grids to enable efficient and sustainable energy systems. Still, its interconnectivity exposes c…

cs.CL2025

AR: Adversarial Reinforcement Learning for Abstract Reasoning in Large Language Models

Cheng-Kai Yeh, Hsing-Wang Lee, Chung-Hung Kuo +1

Abstraction--the ability to recognize and distill essential computational patterns from complex problem statements--is a foundational skill in computer science, critical both for h…