Computer Science

Authors and titles for June 2023

[1976] arXiv:2306.04281 [pdf, other]

Title: HornFuzz: Fuzzing CHC solvers

Anzhela Sukhanova, Valentyn Sobol

Subjects: Software Engineering (cs.SE)

[1977] arXiv:2306.04284 [pdf, other]

Title: Development of a Multi-purpose Fuzzer to Perform Assessment as Input to a Cybersecurity Risk Assessment and Analysis System

Jack Hance, Jeremy Straub

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

[1978] arXiv:2306.04286 [pdf, other]

Title: A Mask Free Neural Network for Monaural Speech Enhancement

Liang Liu, Haixin Guan, Jinlong Ma, Wei Dai, Guangyong Wang, Shaowei Ding

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

[1979] arXiv:2306.04287 [pdf, other]

Title: Extension of the Blackboard Architecture with Common Properties and Generic Rules

Jonathan Rivard, Jeremy Straub

Subjects: Artificial Intelligence (cs.AI)

[1980] arXiv:2306.04288 [pdf, other]

Title: Revising deep learning methods in parking lot occupancy detection

Anastasia Martynova, Mikhail Kuznetsov, Vadim Porvatov, Vladislav Tishin, Andrey Kuznetsov, Natalia Semenova, Ksenia Kuznetsova

Comments: 15 pages, 7 figures

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

[1981] arXiv:2306.04289 [pdf, other]

Title: Introduction and Assessment of the Addition of Links and Containers to the Blackboard Architecture

Jordan Milbrath, Jeremy Straub

Subjects: Artificial Intelligence (cs.AI)

[1982] arXiv:2306.04290 [pdf, other]

Title: Quantum Distance Calculation for $\epsilon$-Graph Construction

Naomi Mona Chmielewski (EDF R&D OSIRIS, L2S), Nina Amini (CNRS, L2S), Paulin Jacquot (EDF R&D OSIRIS), Joseph Mikael (EDF R&D OSIRIS)

Subjects: Data Structures and Algorithms (cs.DS); Quantum Physics (quant-ph)

[1983] arXiv:2306.04292 [pdf, other]

Title: Dear XAI Community, We Need to Talk! Fundamental Misconceptions in Current XAI Research

Timo Freiesleben, Gunnar König

Comments: A revised version of this preprint has been accepted at the World XAI Conference. It will be referenced as soon as it is published

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

[1984] arXiv:2306.04293 [pdf, other]

Title: Phrase Retrieval for Open-Domain Conversational Question Answering with Conversational Dependency Modeling via Contrastive Learning

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

Comments: Findings of ACL 2023

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

[1985] arXiv:2306.04299 [pdf, other]

Title: Timing Process Interventions with Causal Inference and Reinforcement Learning

Hans Weytjens, Wouter Verbeke, Jochen De Weerdt

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

[1986] arXiv:2306.04300 [pdf, html, other]

Title: CorrMatch: Label Propagation via Correlation Matching for Semi-Supervised Semantic Segmentation

Boyuan Sun, Yuqi Yang, Le Zhang, Ming-Ming Cheng, Qibin Hou

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

[1987] arXiv:2306.04301 [pdf, other]

Title: Interpretable Style Transfer for Text-to-Speech with ControlVAE and Diffusion Bridge

Wenhao Guan, Tao Li, Yishuang Li, Hukai Huang, Qingyang Hong, Lin Li

Comments: Accepted at Interspeech2023

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

[1988] arXiv:2306.04305 [pdf, other]

Title: Self-Resolving Prediction Markets for Unverifiable Outcomes

Siddarth Srinivasan, Ezra Karger, Yiling Chen

Subjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH)

[1989] arXiv:2306.04306 [pdf, other]

Title: Allophant: Cross-lingual Phoneme Recognition with Articulatory Attributes

Kevin Glocker (1), Aaricia Herygers (1), Munir Georges (1 and 2) ((1) AImotion Bavaria Technische Hochschule Ingolstadt, (2) Intel Labs Germany)

Comments: 5 pages, 2 figures, 2 tables, accepted to INTERSPEECH 2023; published version

Journal-ref: Proc. INTERSPEECH 2023, 2258-2262

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

[1990] arXiv:2306.04308 [pdf, other]

Title: Personality testing of Large Language Models: Limited temporal stability, but highlighted prosociality

Bojana Bodroza, Bojana M. Dinic, Ljubisa Bojic

Comments: 21 pages, 1 table

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

[1991] arXiv:2306.04314 [pdf, other]

Title: Cross-Genre Argument Mining: Can Language Models Automatically Fill in Missing Discourse Markers?

Gil Rocha, Henrique Lopes Cardoso, Jonas Belouadi, Steffen Eger

Subjects: Computation and Language (cs.CL)

[1992] arXiv:2306.04316 [pdf, other]

Title: Point in polygon calculation using vector geometric methods with application to geospatial data

Eyram Schwinger, Ralph Twum, Thomas Katsekpor, Gladys Schwinger

Subjects: Computational Geometry (cs.CG)

[1993] arXiv:2306.04319 [pdf, other]

Title: CaptAinGlove: Capacitive and Inertial Fusion-Based Glove for Real-Time on Edge Hand Gesture Recognition for Drone Control

Hymalai Bello, Sungho Suh, Daniel Geißler, Lala Ray, Bo Zhou, Paul Lukowicz

Journal-ref: 2024 Springer, Cham

Subjects: Machine Learning (cs.LG); Human-Computer Interaction (cs.HC); Robotics (cs.RO)

[1994] arXiv:2306.04321 [pdf, other]

Title: Generative Semantic Communication: Diffusion Models Beyond Bit Recovery

Eleonora Grassucci, Sergio Barbarossa, Danilo Comminiello

Subjects: Artificial Intelligence (cs.AI); Multimedia (cs.MM)

[1995] arXiv:2306.04323 [pdf, other]

Title: An Analytical Model-based Capacity Planning Approach for Building CSD-based Storage Systems

Hongsu Byun, Safdar Jamil, Jungwook Han, Sungyong Park, Myungcheol Lee, Changsoo Kim, Beongjun Choi, Youngjae Kim

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

[1996] arXiv:2306.04324 [pdf, other]

Title: GCT-TTE: Graph Convolutional Transformer for Travel Time Estimation

Vladimir Mashurov, Vaagn Chopurian, Vadim Porvatov, Arseny Ivanov, Natalia Semenova

Comments: 17 pages, 7 figures, 4 tables; supplementary included; accepted in Journal of Big Data

Subjects: Artificial Intelligence (cs.AI)

[1997] arXiv:2306.04325 [pdf, html, other]

Title: Last Week with ChatGPT: A Weibo Study on Social Perspective Regarding ChatGPT for Education and Beyond

Yao Tian, Chengwei Tong, Lik-Hang Lee, Reza Hadi Mogavi, Yong Liao, Pengyuan Zhou

Subjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)

[1998] arXiv:2306.04326 [pdf, html, other]

Title: Deciding whether an Attributed Translation can be realized by a Top-Down Transducer

Sebastian Maneth, Martin Vu

Subjects: Formal Languages and Automata Theory (cs.FL)

[1999] arXiv:2306.04327 [pdf, other]

Title: Perturbation of Fiedler vector: interest for graph measures and shape analysis

Julien Lefevre, Justine Fraize, David Germanaud

Subjects: Discrete Mathematics (cs.DM)

[2000] arXiv:2306.04328 [pdf, other]

Title: IUTEAM1 at MEDIQA-Chat 2023: Is simple fine tuning effective for multilayer summarization of clinical conversations?

Dhananjay Srivastava

Comments: preprint

Subjects: Computation and Language (cs.CL)