Computer Science

Authors and titles for April 2023

[4801] arXiv:2304.11547 [pdf, other]

Title: SAR: Self-Supervised Anti-Distortion Representation for End-To-End Speech Model

Jianzong Wang, Xulong Zhang, Haobin Tang, Aolan Sun, Ning Cheng, Jing Xiao

Comments: Accepted by IJCNN2023. 2023 International Joint Conference on Neural Networks (IJCNN2023)

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

[4802] arXiv:2304.11550 [pdf, other]

Title: Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets

Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue

Subjects: Systems and Control (eess.SY)

[4803] arXiv:2304.11554 [pdf, other]

Title: Construction of PAC Codes with List-Search and Path-Splitting Critical Sets

Shirong Jiang, Jiahao Wang, Chunfang Xia, Xiang Li

Comments: 13 pages, 19 figures, 3 algorithms

Subjects: Information Theory (cs.IT)

[4804] arXiv:2304.11556 [pdf, other]

Title: Divide and Prompt: Chain of Thought Prompting for Text-to-SQL

Xiping Liu, Zhao Tan

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

[4805] arXiv:2304.11558 [pdf, other]

Title: Computing the optimal error exponential function for fixed-length lossy coding in discrete memoryless sources

Yutaka Jitsumatsu

Comments: 9 pages, 7 figures

Subjects: Information Theory (cs.IT)

[4806] arXiv:2304.11559 [pdf, other]

Title: Lightweight Machine Learning for Digital Cross-Link Interference Cancellation with RF Chain Characteristics in Flexible Duplex MIMO Systems

Jing-Sheng Tan, Shaoshi Yang, Kuo Meng, Jianhua Zhang, Yurong Tang, Yan Bu, Guizhen Wang

Comments: 5 pages, 6 figures

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[4807] arXiv:2304.11560 [pdf, other]

Title: Identifying Stochasticity in Time-Series with Autoencoder-Based Content-aware 2D Representation: Application to Black Hole Data

Chakka Sai Pradeep, Neelam Sinha

Subjects: Machine Learning (cs.LG); Instrumentation and Methods for Astrophysics (astro-ph.IM); Computer Vision and Pattern Recognition (cs.CV); Signal Processing (eess.SP)

[4808] arXiv:2304.11561 [pdf, other]

Title: Understanding people's needs in viewing diverse social opinions about controversial topics

Hayeong Song, Zhengyang Qi, John Stasko, Diyi Yang

Comments: Song, Hayeong, et al. "Understanding people's needs in viewing diverse social opinions about controversial topics" 2023 Pacific Visualization Symposium (PacificVis). IEEE, 2023

Subjects: Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI)

[4809] arXiv:2304.11563 [pdf, html, other]

Title: Stochastic Window Mean-Payoff Games

Laurent Doyen, Pranshu Gaba, Shibashis Guha

Comments: 38 pages, minor changes: added remarks about randomized strategies, improved phrasings and notations. Full version of paper accepted in FoSSaCS 2024

Subjects: Computer Science and Game Theory (cs.GT)

[4810] arXiv:2304.11564 [pdf, other]

Title: Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures

Vivek Nigam, Carolyn Talcott

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[4811] arXiv:2304.11565 [pdf, other]

Title: Experts prefer text but videos help novices: an analysis of the utility of multi-media content

Hayeong Song, Jennifer Healey, Alexa Siu, Curtis Wigington, John Stasko

Comments: in CHI'23 Extended Abstracts on Human Factors in Computing Systems, 2023

Subjects: Human-Computer Interaction (cs.HC); Multimedia (cs.MM)

[4812] arXiv:2304.11566 [pdf, other]

Title: Local Bounded Commuting Projection Operators for Discrete Gradgrad Complexes

Jun Hu, Yizhou Liang, Ting Lin

Comments: 28 pages

Subjects: Numerical Analysis (math.NA)

[4813] arXiv:2304.11567 [pdf, other]

Title: Differentiate ChatGPT-generated and Human-written Medical Texts

Wenxiong Liao, Zhengliang Liu, Haixing Dai, Shaochen Xu, Zihao Wu, Yiyang Zhang, Xiaoke Huang, Dajiang Zhu, Hongmin Cai, Tianming Liu, Xiang Li

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

[4814] arXiv:2304.11574 [pdf, other]

Title: Meta-multigraph Search: Rethinking Meta-structure on Heterogeneous Information Networks

Chao Li, Hao Xu, Kun He

Comments: 17 pages, 10 figures. arXiv admin note: text overlap with arXiv:2211.14752

Subjects: Artificial Intelligence (cs.AI)

[4815] arXiv:2304.11576 [pdf, other]

Title: Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control

Daniel Arnström, David Broman, Daniel Axehill

Subjects: Systems and Control (eess.SY); Software Engineering (cs.SE)

[4816] arXiv:2304.11579 [pdf, other]

Title: StyLess: Boosting the Transferability of Adversarial Examples

Kaisheng Liang, Bin Xiao

Comments: CVPR 2023

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

[4817] arXiv:2304.11580 [pdf, other]

Title: A Framework for Benchmarking Real-Time Embedded Object Detection

Michael Schlosser, Daniel König, Michael Teutsch

Comments: Proceedings of the DAGM German Conference on Pattern Recognition (GCPR) 2022

Journal-ref: In: Andres, B., Bernard, F., Cremers, D., Frintrop, S., Goldl\"ucke, B., Ihrke, I. (eds) Pattern Recognition. DAGM GCPR 2022. Lecture Notes in Computer Science, vol 13485. Springer, Cham

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

[4818] arXiv:2304.11582 [pdf, other]

Title: DiffTraj: Generating GPS Trajectory with Diffusion Probabilistic Model

Yuanshao Zhu, Yongchao Ye, Shiyao Zhang, Xiangyu Zhao, James J.Q. Yu

Subjects: Machine Learning (cs.LG)

[4819] arXiv:2304.11584 [pdf, other]

Title: OSP2B: One-Stage Point-to-Box Network for 3D Siamese Tracking

Jiahao Nie, Zhiwei He, Yuxiang Yang, Zhengyi Bao, Mingyu Gao, Jing Zhang

Comments: Accepted to IJCAI'23. Code will be available at this https URL

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

[4820] arXiv:2304.11592 [pdf, other]

Title: Broken Rail Detection With Texture Image Processing Using Two-Dimensional Gray Level Co-occurrence Matrix

Mohsen Ebrahimi

Comments: 10 pages, 9 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC)

[4821] arXiv:2304.11593 [pdf, other]

Title: System III: Learning with Domain Knowledge for Safety Constraints

Fazl Barez, Hosien Hasanbieg, Alesandro Abbate

Subjects: Machine Learning (cs.LG)

[4822] arXiv:2304.11595 [pdf, other]

Title: Segment Anything in Non-Euclidean Domains: Challenges and Opportunities

Yongcheng Jing, Xinchao Wang, Dacheng Tao

Comments: Work in progress

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

[4823] arXiv:2304.11597 [pdf, other]

Title: Learning Partial Correlation based Deep Visual Representation for Image Classification

Saimunur Rahman, Piotr Koniusz, Lei Wang, Luping Zhou, Peyman Moghadam, Changming Sun

Comments: This paper is published at CVPR 2023

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

[4824] arXiv:2304.11598 [pdf, other]

Title: Transductive Few-shot Learning with Prototype-based Label Propagation by Iterative Graph Refinement

Hao Zhu, Piotr Koniusz

Comments: This paper is published at CVPR 2023

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

[4825] arXiv:2304.11599 [pdf, other]

Title: Data-proximal complementary $\ell^1$-TV reconstruction for limited data CT

Simon Göppel, Jürgen Frikel, Markus Haltmeier

Subjects: Numerical Analysis (math.NA)

[4826] arXiv:2304.11600 [pdf, other]

Title: Safe Control Synthesis Using Environmentally Robust Control Barrier Functions

Vahid Hamdipoor, Nader Meskin, Christos G. Cassandras

Subjects: Systems and Control (eess.SY)

[4827] arXiv:2304.11602 [pdf, other]

Title: On the Characterization of Regular Ring Lattices and their Relation with the Dirichlet Kernel

Marco Fabris

Comments: 28 pages, 2 figures

Journal-ref: Italian Journal of Pure and Applied Mathematics, ISSN 2239-0227, N. 51, pp. 137-160, May 2024

Subjects: Systems and Control (eess.SY); Information Theory (cs.IT)

[4828] arXiv:2304.11603 [pdf, other]

Title: LaMD: Latent Motion Diffusion for Video Generation

Yaosi Hu, Zhenzhong Chen, Chong Luo

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

[4829] arXiv:2304.11605 [pdf, other]

Title: Globally Consistent Normal Orientation for Point Clouds by Regularizing the Winding-Number Field

Rui Xu, Zhiyang Dou, Ningna Wang, Shiqing Xin, Shuangmin Chen, Mingyan Jiang, Xiaohu Guo, Wenping Wang, Changhe Tu

Subjects: Graphics (cs.GR)

[4830] arXiv:2304.11609 [pdf, other]

Title: PiClick: Picking the desired mask from multiple candidates in click-based interactive segmentation

Cilin Yan, Haochen Wang, Jie Liu, Xiaolong Jiang, Yao Hu, Xu Tang, Guoliang Kang, Efstratios Gavves

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

[4831] arXiv:2304.11611 [pdf, other]

Title: Robust Short-term Operation of AC Power Network with Injection Uncertainties

Anamika Tiwari, Abheejeet Mohapatra, Soumya Ranjan Sahoo

Comments: 16 pages, 5 figures, 5 tables

Subjects: Systems and Control (eess.SY)

[4832] arXiv:2304.11613 [pdf, other]

Title: Quantifying over Trees in Monadic Second-Order Logic

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)

[4833] arXiv:2304.11615 [pdf, other]

Title: On Finding the Leader's Strategy in Quadratic Aggregative Stackelberg Pricing Games

Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Comments: Extended version of the paper accepted to ECC 2023

Subjects: Systems and Control (eess.SY)

[4834] arXiv:2304.11618 [pdf, other]

Title: Modality-Aware Negative Sampling for Multi-modal Knowledge Graph Embedding

Yichi Zhang, Mingyang Chen, Wen Zhang

Comments: Accepted by IJCNN2023. Code is released in this https URL

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

[4835] arXiv:2304.11619 [pdf, other]

Title: SATIN: A Multi-Task Metadataset for Classifying Satellite Imagery using Vision-Language Models

Jonathan Roberts, Kai Han, Samuel Albanie

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

[4836] arXiv:2304.11623 [pdf, other]

Title: Cache-Aided Communications in MISO Networks with Dynamic User Behavior: A Universal Solution

Milad Abolpour, MohammadJavad Salehi, Antti Tölli

Comments: 10 pages, accepted in the 2023 IEEE International Symposium on Information Theory (ISIT) conference

Subjects: Information Theory (cs.IT)

[4837] arXiv:2304.11624 [pdf, other]

Title: Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts

Monika di Angelo, Gernot Salzer

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)

[4838] arXiv:2304.11625 [pdf, html, other]

Title: Meaningful Causal Aggregation and Paradoxical Confounding

Yuchen Zhu, Kailash Budhathoki, Jonas Kuebler, Dominik Janzing

Comments: CLeaR 2024

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

[4839] arXiv:2304.11628 [pdf, other]

Title: Using Alternation Direction Method of Multipliers to Enhance robots Calibration Accuracy based on Multi-Planal Constraints

Tinghui Chen, Shuai Li

Comments: 7

Subjects: Robotics (cs.RO); Signal Processing (eess.SP)

[4840] arXiv:2304.11631 [pdf, other]

Title: TSGCNeXt: Dynamic-Static Multi-Graph Convolution for Efficient Skeleton-Based Action Recognition with Long-term Learning Potential

Dongjingdin Liu, Pengpeng Chen, Miao Yao, Yijing Lu, Zijie Cai, Yuxin Tian

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[4841] arXiv:2304.11632 [pdf, other]

Title: Towards Effective and Interpretable Human-Agent Collaboration in MOBA Games: A Communication Perspective

Yiming Gao, Feiyu Liu, Liang Wang, Zhenjie Lian, Weixuan Wang, Siqin Li, Xianliang Wang, Xianhan Zeng, Rundong Wang, Jiawei Wang, Qiang Fu, Wei Yang, Lanxiao Huang, Wei Liu

Comments: Accepted at ICLR 2023

Subjects: Artificial Intelligence (cs.AI)

[4842] arXiv:2304.11633 [pdf, other]

Title: Evaluating ChatGPT's Information Extraction Capabilities: An Assessment of Performance, Explainability, Calibration, and Faithfulness

Bo Li, Gexiang Fang, Yang Yang, Quansen Wang, Wei Ye, Wen Zhao, Shikun Zhang

Subjects: Computation and Language (cs.CL)

[4843] arXiv:2304.11636 [pdf, other]

Title: U Owns the Code That Changes and How Marginal Owners Resolve Issues Slower in Low-Quality Source Code

Markus Borg, Adam Tornhill, Enys Mones

Comments: Accepted for publication in the Proc. of the 27th International Conference on Evaluation and Assessment in Software Engineering

Subjects: Software Engineering (cs.SE)

[4844] arXiv:2304.11639 [pdf, other]

Title: Static IRS Meets Distributed MIMO: A New Architecture for Dynamic Beamforming

Guangji Chen, Qingqing Wu, Celimuge Wu, Mengnan Jian, Yijian Chen, Wen Chen

Comments: Submitted to IEEE WCL for possible publication

Subjects: Information Theory (cs.IT)

[4845] arXiv:2304.11641 [pdf, other]

Title: Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives

Lening Li, Hazhar Rahmani, Jie Fu

Comments: 11 pages, 4 figures, accepted by 2023 International Joint Conference on Artificial Intelligence

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI)

[4846] arXiv:2304.11643 [pdf, html, other]

Title: Privacy Computing Meets Metaverse: Necessity, Taxonomy and Challenges

Chuan Chen, Yuecheng Li, Zhenpeng Wu, Chengyuan Mai, Youming Liu, Yanming Hu, Zibin Zheng, Jiawen Kang

Comments: In Ad Hoc Networks (2024)

Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)

[4847] arXiv:2304.11651 [pdf, other]

Title: Evaluating Digital Library Search Systems by using Formal Process Modelling

Christin Katharina Kreutz, Martin Blum, Philipp Schaer, Ralf Schenkel, Benjamin Weyers

Comments: 10 pages + references, publication accepted at JCDL'23

Subjects: Digital Libraries (cs.DL)

[4848] arXiv:2304.11652 [pdf, other]

Title: Alternating (In)Dependence-Friendly Logic

Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[4849] arXiv:2304.11653 [pdf, other]

Title: An Asynchronous Decentralized Algorithm for Wasserstein Barycenter Problem

Chao Zhang, Hui Qian, Jiahao Xie

Subjects: Machine Learning (cs.LG)

[4850] arXiv:2304.11654 [pdf, other]

Title: Stochastic Cell Transmission Models of Traffic Networks

Zachary Feinstein, Marcel Kleiber, Stefan Weber

Subjects: Machine Learning (cs.LG); Systems and Control (eess.SY); Machine Learning (stat.ML)