Computer Science

Authors and titles for June 2023

[2101] arXiv:2306.04543 [pdf, other]

Title: Secure Integrated Sensing and Communication Exploiting Target Location Distribution

Kaiyue Hou, Shuowen Zhang

Comments: submitted for possible publication

Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)

[2102] arXiv:2306.04544 [pdf, other]

Title: Contrastive Bootstrapping for Label Refinement

Shudi Hou, Yu Xia, Muhao Chen, Sujian Li

Comments: ACL 2023

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

[2103] arXiv:2306.04546 [pdf, other]

Title: Querying Circumscribed Description Logic Knowledge Bases

Carsten Lutz, Quentin Manière, Robin Nolte

Comments: 42 pages - Extended version of a paper accepted at KR 2023

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[2104] arXiv:2306.04548 [pdf, other]

Title: Convergence of SARSA with linear function approximation: The random horizon case

Lina Palmborg

Subjects: Machine Learning (cs.LG)

[2105] arXiv:2306.04549 [pdf, other]

Title: Dynamic Geometry-Based Stochastic Channel Modeling for Polarized MIMO Systems with Moving Scatterers

Hamed Radpour, Laxmikant Minz, Seong-Ook Park, Duck-Yong Kim, Young-Chan Moon

Comments: 10 pages, 10 Figures

Subjects: Systems and Control (eess.SY); Signal Processing (eess.SP)

[2106] arXiv:2306.04551 [pdf, other]

Title: Multi-Task Training with In-Domain Language Models for Diagnostic Reasoning

Brihat Sharma, Yanjun Gao, Timothy Miller, Matthew M. Churpek, Majid Afshar, Dmitriy Dligach

Comments: Accepted to the Proceedings of the 5th Clinical NLP Workshop at ACL

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

[2107] arXiv:2306.04553 [pdf, other]

Title: Constraint-based recommender system for crisis management simulations

Ngoc Luyen Le, Jinfeng Zhong, Elsa Negre, Marie-Hélène Abel

Subjects: Information Retrieval (cs.IR)

[2108] arXiv:2306.04556 [pdf, other]

Title: StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code

Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q Feldman, Carolyn Jane Anderson

Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Software Engineering (cs.SE)

[2109] arXiv:2306.04557 [pdf, html, other]

Title: PhenoBench -- A Large Dataset and Benchmarks for Semantic Image Interpretation in the Agricultural Domain

Jan Weyler, Federico Magistri, Elias Marks, Yue Linn Chong, Matteo Sodano, Gianmarco Roggiolani, Nived Chebrolu, Cyrill Stachniss, Jens Behley

Comments: Accepted by IEEE Transactions on Pattern Analysis and Machine Intelligence (T-PAMI)

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

[2110] arXiv:2306.04563 [pdf, other]

Title: ChatGPT is fun, but it is not funny! Humor is still challenging Large Language Models

Sophie Jentzsch, Kristian Kersting

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[2111] arXiv:2306.04564 [pdf, other]

Title: Differentially Private Selection from Secure Distributed Computing

Ivan Damgård, Hannah Keller, Boel Nelson, Claudio Orlandi, Rasmus Pagh

Comments: Due to the 1920 character limitation of the abstract, the abstract provided as metadata is slightly shorter than the pdf version

Subjects: Cryptography and Security (cs.CR)

[2112] arXiv:2306.04566 [pdf, other]

Title: Recent applications of machine learning, remote sensing, and iot approaches in yield prediction: a critical review

Fatima Zahra Bassine, Terence Epule Epule, Ayoub Kechchour, Abdelghani Chehbouni

Comments: 35 pages, 12 figures, 14 tables

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Networking and Internet Architecture (cs.NI); Software Engineering (cs.SE)

[2113] arXiv:2306.04570 [pdf, other]

Title: Towards Decentralized Heterogeneous Multi-Robot SLAM and Target Tracking

Ofer Dagan, Tycho L. Cinquini, Luke Morrissey, Kristen Such, Nisar R. Ahmed, Christoffer Heckman

Comments: 5 pages, 2 figures, presented at the ICRA 2023 workshop on "Distributed Graph Algorithms for Robotics"

Subjects: Robotics (cs.RO)

[2114] arXiv:2306.04573 [pdf, other]

Title: Gender, names and other mysteries: Towards the ambiguous for gender-inclusive translation

Danielle Saunders, Katrina Olsen

Comments: GITT workshop at EAMT 2023

Subjects: Computation and Language (cs.CL)

[2115] arXiv:2306.04574 [pdf, other]

Title: The Effect of Length on Key Fingerprint Verification Security and Usability

Dan Turner, Siamak F. Shahandashti, Helen Petrie

Comments: Accepted to International Conference on Availability, Reliability and Security (ARES 2023)

Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)

[2116] arXiv:2306.04581 [pdf, other]

Title: Divide and Repair: Using Options to Improve Performance of Imitation Learning Against Adversarial Demonstrations

Prithviraj Dasgupta

Comments: 33 pages, 4 figures, 3 tables

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

[2117] arXiv:2306.04584 [pdf, other]

Title: A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

Comments: \c{opyright} 2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal-ref: 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), Lemgo, Germany, 2023, pp. 1-7

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[2118] arXiv:2306.04585 [pdf, other]

Title: RTAEval: A framework for evaluating runtime assurance logic

Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra

Subjects: Logic in Computer Science (cs.LO)

[2119] arXiv:2306.04586 [pdf, other]

Title: Ultra-Precise Synchronization for TDoA-based Localization Using Signals of Opportunity

Thomas Maul, Sebastian Klob, Joerg Robert

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Signal Processing (eess.SP)

[2120] arXiv:2306.04590 [pdf, html, other]

Title: Proximity-Informed Calibration for Deep Neural Networks

Miao Xiong, Ailin Deng, Pang Wei Koh, Jiaying Wu, Shen Li, Jianqing Xu, Bryan Hooi

Comments: The paper is accepted by NeurIPS 2023. The code is available at: this https URL

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

[2121] arXiv:2306.04592 [pdf, other]

Title: Bayesian Extensive-Rank Matrix Factorization with Rotational Invariant Priors

Farzad Pourkamali, Nicolas Macris

Subjects: Information Theory (cs.IT)

[2122] arXiv:2306.04593 [pdf, other]

Title: MarineVRS: Marine Video Retrieval System with Explainability via Semantic Understanding

Tan-Sang Ha, Hai Nguyen-Truong, Tuan-Anh Vu, Sai-Kit Yeung

Comments: Accepted to OCEANS 2023 Limerick. Website: this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)

[2123] arXiv:2306.04595 [pdf, other]

Title: Generalization Across Observation Shifts in Reinforcement Learning

Anuj Mahajan, Amy Zhang

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

[2124] arXiv:2306.04596 [pdf, other]

Title: A low rank ODE for spectral clustering stability

Nicola Guglielmi, Stefano Sicilia

Comments: 24 pages, 4 figures, 5 tables

Subjects: Numerical Analysis (math.NA)

[2125] arXiv:2306.04597 [pdf, other]

Title: Language Models Get a Gender Makeover: Mitigating Gender Bias with Few-Shot Data Interventions

Himanshu Thakur, Atishay Jain, Praneetha Vaddamanu, Paul Pu Liang, Louis-Philippe Morency

Comments: Accepted to ACL 2023 Main Conference

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