Computer Science

Authors and titles for June 2023

[3476] arXiv:2306.07625 [pdf, other]

Title: The Stable Model Semantics of Datalog with Metric Temporal Operators

Przemysław A. Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Logic in Computer Science (cs.LO)

[3477] arXiv:2306.07629 [pdf, html, other]

Title: SqueezeLLM: Dense-and-Sparse Quantization

Sehoon Kim, Coleman Hooper, Amir Gholami, Zhen Dong, Xiuyu Li, Sheng Shen, Michael W. Mahoney, Kurt Keutzer

Comments: ICML 2024

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

[3478] arXiv:2306.07632 [pdf, html, other]

Title: NeuS-PIR: Learning Relightable Neural Surface using Pre-Integrated Rendering

Shi Mao, Chenming Wu, Zhelun Shen, Yifan Wang, Dayan Wu, Liangjun Zhang

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

[3479] arXiv:2306.07635 [pdf, other]

Title: Exploiting Configurations of MaxSAT Solvers

Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres

Subjects: Artificial Intelligence (cs.AI)

[3480] arXiv:2306.07636 [pdf, other]

Title: Hybrid lemmatization in HuSpaCy

Péter Berkecz, György Orosz, Zsolt Szántó, Gergő Szabó, Richárd Farkas

Comments: published at the conference XIX. Magyar Számítógépes Nyelvészeti Konferencia (XIX. Hungarian Computational Linguistics Conference)

Subjects: Computation and Language (cs.CL)

[3481] arXiv:2306.07637 [pdf, other]

Title: For Better or Worse: The Impact of Counterfactual Explanations' Directionality on User Behavior in xAI

Ulrike Kuhl, André Artelt, Barbara Hammer

Comments: 22 pages, 3 figures This work has been accepted for presentation at the 1st World Conference on eXplainable Artificial Intelligence (xAI 2023), July 26-28, 2023 - Lisbon, Portugal

Journal-ref: Explainable Artificial Intelligence. xAI 2023. Communications in Computer and Information Science, vol 1903

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)

[3482] arXiv:2306.07638 [pdf, other]

Title: On Guiding Search in HTN Temporal Planning with non Temporal Heuristics

Nicolas Cavrel, Damien Pellier, Humbert Fiorino

Journal-ref: ICAPS Hierarchical Planning Workshop, 2023

Subjects: Artificial Intelligence (cs.AI)

[3483] arXiv:2306.07643 [pdf, other]

Title: Economical Accommodations for Neurodivergent Students in Software Engineering Education: Experiences from an Intervention in Four Undergraduate Courses

Grischa Liebel, Steinunn Gróa Sigurðardóttir

Subjects: Software Engineering (cs.SE)

[3484] arXiv:2306.07644 [pdf, other]

Title: SRATTA : Sample Re-ATTribution Attack of Secure Aggregation in Federated Learning

Tanguy Marchand, Régis Loeb, Ulysse Marteau-Ferey, Jean Ogier du Terrail, Arthur Pignet

Comments: Accepted to ICML2023

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

[3485] arXiv:2306.07646 [pdf, other]

Title: Enhanced Multimodal Representation Learning with Cross-modal KD

Mengxi Chen, Linyu Xing, Yu Wang, Ya Zhang

Comments: Accepted by CVPR2023

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

[3486] arXiv:2306.07647 [pdf, other]

Title: Multi-Robot Motion Planning: A Learning-Based Artificial Potential Field Solution

Dengyu Zhang, Guobin Zhu, Qingrui Zhang

Comments: 6 pages

Subjects: Robotics (cs.RO)

[3487] arXiv:2306.07649 [pdf, other]

Title: Sea Ice Segmentation From SAR Data by Convolutional Transformer Networks

Nicolae-Catalin Ristea, Andrei Anghel, Mihai Datcu

Subjects: Computer Vision and Pattern Recognition (cs.CV); Image and Video Processing (eess.IV)

[3488] arXiv:2306.07650 [pdf, other]

Title: Modality Adaption or Regularization? A Case Study on End-to-End Speech Translation

Yuchen Han, Chen Xu, Tong Xiao, Jingbo Zhu

Comments: ACL 2023 Main Conference

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

[3489] arXiv:2306.07651 [pdf, other]

Title: Variational Positive-incentive Noise: How Noise Benefits Models

Hongyuan Zhang, Sida Huang, Xuelong Li

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

[3490] arXiv:2306.07653 [pdf, other]

Title: Automating Microservices Test Failure Analysis using Kubernetes Cluster Logs

Pawan Kumar Sarika, Deepika Badampudi, Sai Prashanth Josyula, Muhammad Usman

Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)

[3491] arXiv:2306.07656 [pdf, other]

Title: Is Anisotropy Inherent to Transformers?

Nathan Godey, Éric de la Clergerie, Benoît Sagot

Comments: ACL-SRW 2023 (Poster)

Subjects: Computation and Language (cs.CL)

[3492] arXiv:2306.07662 [pdf, html, other]

Title: Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology

Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Comments: Full version of a KR'2024 paper

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

[3493] arXiv:2306.07663 [pdf, other]

Title: Nash equilibria of the pay-as-bid auction with K-Lipschitz supply functions

Martina Vanelli, Giacomo Como, Fabio Fagnani

Comments: 6 pages, 5 figures, to appear Proc. of the 22nd International Federation of Automatic Control World Congress (IFAC 2023)

Subjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Optimization and Control (math.OC)

[3494] arXiv:2306.07664 [pdf, other]

Title: Rethink the Effectiveness of Text Data Augmentation: An Empirical Analysis

Zhengxiang Shi, Aldo Lipani

Comments: Accepted at ESANN 2023

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

[3495] arXiv:2306.07669 [pdf, html, other]

Title: Rate-Splitting with Hybrid Messages: DoF Analysis of the Two-User MIMO Broadcast Channel with Imperfect CSIT

Tong Zhang, Yufan Zhuang, Gaojie Chen, Shuai Wang, Bojie Lv, Rui Wang, Pei Xiao

Comments: 15 pages, double column

Subjects: Information Theory (cs.IT)

[3496] arXiv:2306.07675 [pdf, other]

Title: An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games

Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Artificial Intelligence (cs.AI)

[3497] arXiv:2306.07678 [pdf, other]

Title: Localization of Just Noticeable Difference for Image Compression

Guangan Chen, Hanhe Lin, Oliver Wiedemann, Dietmar Saupe

Subjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM); Image and Video Processing (eess.IV)

[3498] arXiv:2306.07684 [pdf, other]

Title: Lookaround Optimizer: $k$ steps around, 1 step average

Jiangtao Zhang, Shunyu Liu, Jie Song, Tongtian Zhu, Zhengqi Xu, Mingli Song

Comments: Accepted to NeurIPS 2023

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

[3499] arXiv:2306.07685 [pdf, other]

Title: Few-shot Multi-domain Knowledge Rearming for Context-aware Defence against Advanced Persistent Threats

Gaolei Li, Yuanyuan Zhao, Wenqi Wei, Yuchen Liu

Comments: It has been accepted by IEEE SmartNets

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)

[3500] arXiv:2306.07688 [pdf, other]

Title: Mobility Strategy of Multi-Limbed Climbing Robots for Asteroid Exploration

Warley F. R. Ribeiro, Kentaro Uno, Masazumi Imai, Koki Murase, Barış Can Yalçın, Matteo El Hariry, Miguel A. Olivares-Mendez, Kazuya Yoshida

Comments: Paper accepted for presentation at the CLAWAR 2023 (26th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines) (Updated references formatting)

Subjects: Robotics (cs.RO)