Computer Science

Authors and titles for June 2024

[7701] arXiv:2406.15997 [pdf, html, other]

Title: State-Compensation-Linearization-Based Stability Margin Analysis for a Class of Nonlinear Systems: A Data-Driven Method

Jinrui Ren, Quan Quan

Subjects: Systems and Control (eess.SY)

[7702] arXiv:2406.15999 [pdf, html, other]

Title: SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis

Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, Zibin Zheng

Journal-ref: The ACM International Conference on the Foundations of Software Engineering 2024

Subjects: Software Engineering (cs.SE)

[7703] arXiv:2406.16000 [pdf, html, other]

Title: Predicting Individual Depression Symptoms from Acoustic Features During Speech

Sebastian Rodriguez, Sri Harsha Dumpala, Katerina Dikaios, Sheri Rempel, Rudolf Uher, Sageev Oore

Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)

[7704] arXiv:2406.16001 [pdf, html, other]

Title: Learning Accurate and Enriched Features for Stereo Image Super-Resolution

Hu Gao, Depeng Dang

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7705] arXiv:2406.16004 [pdf, html, other]

Title: RepNeXt: A Fast Multi-Scale CNN using Structural Reparameterization

Mingshu Zhao, Yi Luo, Yong Ouyang

Comments: Tech report; added general view of the operations and convnext ablation experiments

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7706] arXiv:2406.16005 [pdf, html, other]

Title: A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications

Lei Chen, Shi Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[7707] arXiv:2406.16006 [pdf, html, other]

Title: Bounding-Box Inference for Error-Aware Model-Based Reinforcement Learning

Erin J. Talvitie, Zilei Shao, Huiying Li, Jinghan Hu, Jacob Boerma, Rory Zhao, Xintong Wang

Comments: To appear: Reinforcement Learning Conference (RLC), 2024

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[7708] arXiv:2406.16007 [pdf, html, other]

Title: Distributed Rule Vectors is A Key Mechanism in Large Language Models' In-Context Learning

Bowen Zheng, Ming Ma, Zhongqiao Lin, Tianming Yang

Subjects: Computation and Language (cs.CL)

[7709] arXiv:2406.16008 [pdf, html, other]

Title: Found in the Middle: Calibrating Positional Attention Bias Improves Long Context Utilization

Cheng-Yu Hsieh, Yung-Sung Chuang, Chun-Liang Li, Zifeng Wang, Long T. Le, Abhishek Kumar, James Glass, Alexander Ratner, Chen-Yu Lee, Ranjay Krishna, Tomas Pfister

Comments: ACL Findings 2024

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[7710] arXiv:2406.16013 [pdf, other]

Title: Database-Augmented Query Representation for Information Retrieval

Soyeong Jeong, Jinheon Baek, Sukmin Cho, Sung Ju Hwang, Jong C. Park

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)

[7711] arXiv:2406.16015 [pdf, other]

Title: Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication

Benjamin Rossman

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[7712] arXiv:2406.16020 [pdf, html, other]

Title: AudioBench: A Universal Benchmark for Audio Large Language Models

Bin Wang, Xunlong Zou, Geyu Lin, Shuo Sun, Zhuohan Liu, Wenyu Zhang, Zhengyuan Liu, AiTi Aw, Nancy F. Chen

Comments: v4 - Add acknowledgment and slight update on structure; Code: this https URL

Subjects: Sound (cs.SD); Computation and Language (cs.CL); Audio and Speech Processing (eess.AS)

[7713] arXiv:2406.16021 [pdf, html, other]

Title: Harvesting Events from Multiple Sources: Towards a Cross-Document Event Extraction Paradigm

Qiang Gao, Zixiang Meng, Bobo Li, Jun Zhou, Fei Li, Chong Teng, Donghong Ji

Comments: ACL2024(Findings)

Journal-ref: https://aclanthology.org/2024.findings-acl.114

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[7714] arXiv:2406.16028 [pdf, html, other]

Title: TimeAutoDiff: Combining Autoencoder and Diffusion model for time series tabular data synthesizing

Namjoon Suh, Yuning Yang, Din-Yin Hsieh, Qitong Luan, Shirong Xu, Shixiang Zhu, Guang Cheng

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[7715] arXiv:2406.16030 [pdf, html, other]

Title: Zero-Shot Cross-Lingual NER Using Phonemic Representations for Low-Resource Languages

Jimin Sohn, Haeji Jung, Alex Cheng, Jooeon Kang, Yilin Du, David R. Mortensen

Comments: Accepted to EMNLP 2024 Main Conference

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[7716] arXiv:2406.16033 [pdf, html, other]

Title: Unlocking the Future: Exploring Look-Ahead Planning Mechanistic Interpretability in Large Language Models

Tianyi Men, Pengfei Cao, Zhuoran Jin, Yubo Chen, Kang Liu, Jun Zhao

Subjects: Computation and Language (cs.CL)

[7717] arXiv:2406.16035 [pdf, html, other]

Title: Meta-FL: A Novel Meta-Learning Framework for Optimizing Heterogeneous Model Aggregation in Federated Learning

Zahir Alsulaimawi

Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR)

[7718] arXiv:2406.16037 [pdf, html, other]

Title: Characterization of Lightweight GPS Disciplined Oscillators for Distributed UAV Measurement Applications

Julia Beuster, Carsten Andrich, Sebastian Giehl

Subjects: Systems and Control (eess.SY)

[7719] arXiv:2406.16038 [pdf, html, other]

Title: LiveScene: Language Embedding Interactive Radiance Fields for Physical Scene Rendering and Control

Delin Qu, Qizhi Chen, Pingrui Zhang, Xianqiang Gao, Junzhe Li, Bin Zhao, Dong Wang, Xuelong Li

Comments: Accepted at Neurips 2024

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7720] arXiv:2406.16039 [pdf, html, other]

Title: CholecInstanceSeg: A Tool Instance Segmentation Dataset for Laparoscopic Surgery

Oluwatosin Alabi, Ko Ko Zayar Toe, Zijian Zhou, Charlie Budd, Nicholas Raison, Miaojing Shi, Tom Vercauteren

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7721] arXiv:2406.16042 [pdf, html, other]

Title: Pose-dIVE: Pose-Diversified Augmentation with Diffusion Model for Person Re-Identification

Inès Hyeonsu Kim, JoungBin Lee, Woojeong Jin, Soowon Son, Kyusun Cho, Junyoung Seo, Min-Seop Kwak, Seokju Cho, JeongYeol Baek, Byeongwon Lee, Seungryong Kim

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7722] arXiv:2406.16046 [pdf, other]

Title: Drag Rewriting

Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas

Subjects: Logic in Computer Science (cs.LO)

[7723] arXiv:2406.16048 [pdf, html, other]

Title: Evaluating D-MERIT of Partial-annotation on Information Retrieval

Royi Rassin, Yaron Fairstein, Oren Kalinsky, Guy Kushilevitz, Nachshon Cohen, Alexander Libov, Yoav Goldberg

Comments: Accepted to EMNLP 2024 main track. Our dataset can be downloaded from this https URL

Subjects: Information Retrieval (cs.IR)

[7724] arXiv:2406.16052 [pdf, html, other]

Title: Pivotal Auto-Encoder via Self-Normalizing ReLU

Nelson Goldenstein, Jeremias Sulam, Yaniv Romano

Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP); Machine Learning (stat.ML)

[7725] arXiv:2406.16054 [pdf, html, other]

Title: On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui

Comments: 13 pages. arXiv admin note: text overlap with arXiv:2405.01940

Subjects: Logic in Computer Science (cs.LO)

[7726] arXiv:2406.16056 [pdf, html, other]

Title: Logics of polyhedral reachability

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia

Comments: 17 pages, 1 figure, Advances in Modal Logics Conference

Subjects: Logic in Computer Science (cs.LO)

[7727] arXiv:2406.16057 [pdf, html, other]

Title: A machine learning approach to predict near-optimal meshes for turbulent compressible flow simulations

Sergi Sanchez-Gamero, Oubay Hassan, Ruben Sevilla

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[7728] arXiv:2406.16061 [pdf, html, other]

Title: PORT: Preference Optimization on Reasoning Traces

Salem Lahlou, Abdalgader Abubaker, Hakim Hacid

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)

[7729] arXiv:2406.16062 [pdf, html, other]

Title: Towards Biologically Plausible Computing: A Comprehensive Comparison

Changze Lv, Yufei Gu, Zhengkang Guo, Zhibo Xu, Yixin Wu, Feiran Zhang, Tianyuan Shi, Zhenghua Wang, Ruicheng Yin, Yu Shang, Siqi Zhong, Xiaohua Wang, Muling Wu, Wenhao Liu, Tianlong Li, Jianhao Zhu, Cenyuan Zhang, Zixuan Ling, Xiaoqing Zheng

Subjects: Neural and Evolutionary Computing (cs.NE)

[7730] arXiv:2406.16063 [pdf, html, other]

Title: Optimal matching for sharing and linearity analysis

Gianluca Amato, Francesca Scozzari

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP). arXiv admin note: text overlap with arXiv:0710.0528

Journal-ref: Theory and Practice of Logic Programming 24 (2024) 1051-1077

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[7731] arXiv:2406.16066 [pdf, html, other]

Title: Constructing Boundary-identical Microstructures via Guided Diffusion for Fast Multiscale Topology Optimization

Jingxuan Feng, Lili Wang, Xiaoya Zhai, Kai Chen, Wenming Wu, Ligang Liu, Xiao-Ming Fu

Subjects: Computational Engineering, Finance, and Science (cs.CE)

[7732] arXiv:2406.16068 [pdf, html, other]

Title: Towards Real-Time Neural Volumetric Rendering on Mobile Devices: A Measurement Study

Zhe Wang, Yifei Zhu

Comments: This paper is accepted by ACM SIGCOMM Workshop on Emerging Multimedia Systems 2024

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Graphics (cs.GR); Multimedia (cs.MM); Performance (cs.PF)

[7733] arXiv:2406.16069 [pdf, html, other]

Title: FastMem: Fast Memorization of Prompt Improves Context Awareness of Large Language Models

Junyi Zhu, Shuochen Liu, Yu Yu, Bo Tang, Yibo Yan, Zhiyu Li, Feiyu Xiong, Tong Xu, Matthew B. Blaschko

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[7734] arXiv:2406.16071 [pdf, html, other]

Title: Dancing in the syntax forest: fast, accurate and explainable sentiment analysis with SALSA

Carlos Gómez-Rodríguez, Muhammad Imran, David Vilares, Elena Solera, Olga Kellert

Comments: Accepted for publication at SEPLN-CEDI2024: Seminar of the Spanish Society for Natural Language Processing at the 7th Spanish Conference on Informatics

Subjects: Computation and Language (cs.CL)

[7735] arXiv:2406.16072 [pdf, html, other]

Title: DV-3DLane: End-to-end Multi-modal 3D Lane Detection with Dual-view Representation

Yueru Luo, Shuguang Cui, Zhen Li

Comments: Accepted at ICLR2024

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7736] arXiv:2406.16073 [pdf, html, other]

Title: LGS: A Light-weight 4D Gaussian Splatting for Efficient Surgical Scene Reconstruction

Hengyu Liu, Yifan Liu, Chenxin Li, Wuyang Li, Yixuan Yuan

Comments: Accepted by MICCAI 2024. Project page: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7737] arXiv:2406.16077 [pdf, html, other]

Title: Detecting Abnormal Operations in Concentrated Solar Power Plants from Irregular Sequences of Thermal Images

Sukanya Patra, Nicolas Sournac, Souhaib Ben Taieb

Comments: Accepted in KDD 2024

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)

[7738] arXiv:2406.16078 [pdf, html, other]

Title: First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning

Yoichi Aoki, Keito Kudo, Tatsuki Kuribayashi, Shusaku Sone, Masaya Taniguchi, Keisuke Sakaguchi, Kentaro Inui

Comments: This paper is accepted at EMNLP 2024

Subjects: Computation and Language (cs.CL)

[7739] arXiv:2406.16079 [pdf, html, other]

Title: EERPD: Leveraging Emotion and Emotion Regulation for Improving Personality Detection

Zheng Li, Dawei Zhu, Qilong Ma, Weimin Xiong, Sujian Li

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[7740] arXiv:2406.16082 [pdf, other]

Title: On enforcing function diagram commutativity and anti-commutativity constraints in MatBase

Christian Mancas, Diana Christina Mancas

Comments: This article was submitted on June 24, 2024 to the Open Access Journal of Computer Science and Engineering, Aytin Publications, this https URL

Journal-ref: Open Access Journal of Computer Science and Engineering, Volume 1, Issue 1, 2024, PP:01-13

Subjects: Databases (cs.DB)

[7741] arXiv:2406.16085 [pdf, html, other]

Title: A Simple Framework for Open-Vocabulary Zero-Shot Segmentation

Thomas Stegmüller, Tim Lebailly, Nikola Dukic, Behzad Bozorgtabar, Tinne Tuytelaars, Jean-Philippe Thiran

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[7742] arXiv:2406.16086 [pdf, html, other]

Title: SEAM: A Stochastic Benchmark for Multi-Document Tasks

Gili Lior, Avi Caciularu, Arie Cattan, Shahar Levy, Ori Shapira, Gabriel Stanovsky

Subjects: Computation and Language (cs.CL)

[7743] arXiv:2406.16087 [pdf, html, other]

Title: Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy

Chen Wang, Kaiyi Ji, Junyi Geng, Zhongqiang Ren, Taimeng Fu, Fan Yang, Yifan Guo, Haonan He, Xiangyu Chen, Zitong Zhan, Qiwei Du, Shaoshu Su, Bowen Li, Yuheng Qiu, Yi Du, Qihang Li, Yifan Yang, Xiao Lin, Zhipeng Zhao

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[7744] arXiv:2406.16088 [pdf, other]

Title: On Quasi-Interpolation and their associated shift-invariant space using a new class of generalized Thin Plate Splines and Inverse Multiquadrics

Mathis Ortmann, Martin Buhmann

Subjects: Numerical Analysis (math.NA)

[7745] arXiv:2406.16089 [pdf, html, other]

Title: A projected Euler Method for Random Periodic Solutions of Semi-linear SDEs with non-globally Lipschitz coefficients

Yujia Guo, Xiaojie Wang, Yue Wu

Comments: 26 pages,5 figures

Subjects: Numerical Analysis (math.NA); Probability (math.PR)

[7746] arXiv:2406.16091 [pdf, html, other]

Title: Efficient GPU Implementation of Particle Interactions with Cutoff Radius and Few Particles per Cell

David Algis, Berenger Bramas, Emmanuelle Darles, Lilian Aveneau

Comments: this https URL

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[7747] arXiv:2406.16092 [pdf, html, other]

Title: Quantitative Global Carbon Inequality Network

Yanming Guo, Charles Guan, Jin Ma

Subjects: Social and Information Networks (cs.SI); Computational Engineering, Finance, and Science (cs.CE)

[7748] arXiv:2406.16093 [pdf, html, other]

Title: Towards Natural Language-Driven Assembly Using Foundation Models

Omkar Joglekar, Tal Lancewicki, Shir Kozlovsky, Vladimir Tchuiev, Zohar Feldman, Dotan Di Castro

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[7749] arXiv:2406.16094 [pdf, html, other]

Title: Proper Implicit Discretization of the Super-Twisting Controller -- without and with Actuator Saturation

Richard Seeber, Benedikt Andritsch

Journal-ref: Automatica, Volume 173, March 2025, Article 112027

Subjects: Systems and Control (eess.SY)

[7750] arXiv:2406.16099 [pdf, html, other]

Title: Speech Representation Analysis based on Inter- and Intra-Model Similarities

Yassine El Kheir, Ahmed Ali, Shammur Absar Chowdhury

Comments: 5 pages, Accepted to appear in ICASSP XAI-SA Workshop

Subjects: Sound (cs.SD); Audio and Speech Processing (eess.AS)