Computer Science

Authors and titles for recent submissions

• Fri, 22 Nov 2024
• Thu, 21 Nov 2024
• Wed, 20 Nov 2024
• Tue, 19 Nov 2024
• Mon, 18 Nov 2024

See today's new changes

Fri, 22 Nov 2024 (showing first 50 of 427 entries )

[1] arXiv:2411.14432 [pdf, html, other]

Title: Insight-V: Exploring Long-Chain Visual Reasoning with Multimodal Large Language Models

Yuhao Dong, Zuyan Liu, Hai-Long Sun, Jingkang Yang, Winston Hu, Yongming Rao, Ziwei Liu

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

[2] arXiv:2411.14431 [pdf, html, other]

Title: On Optimal Testing of Linearity

Vipul Arora, Esty Kelman, Uri Meir

Comments: To appear at SOSA 2025

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[3] arXiv:2411.14430 [pdf, html, other]

Title: Stable Flow: Vital Layers for Training-Free Image Editing

Omri Avrahami, Or Patashnik, Ohad Fried, Egor Nemchinov, Kfir Aberman, Dani Lischinski, Daniel Cohen-Or

Comments: Project page is available at this https URL

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

[4] arXiv:2411.14429 [pdf, html, other]

Title: Revisiting the Integration of Convolution and Attention for Vision Backbone

Lei Zhu, Xinjiang Wang, Wayne Zhang, Rynson W. H. Lau

Comments: NeurIPS 2024

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

[5] arXiv:2411.14427 [pdf, html, other]

Title: Transformer-based Heuristic for Advanced Air Mobility Planning

Jun Xiang, Jun Chen

Comments: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC)

Subjects: Robotics (cs.RO)

[6] arXiv:2411.14425 [pdf, html, other]

Title: Whack-a-Chip: The Futility of Hardware-Centric Export Controls

Ritwik Gupta, Leah Walker, Andrew W. Reddie

Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)

[7] arXiv:2411.14424 [pdf, html, other]

Title: Learning Fair Robustness via Domain Mixup

Meiyu Zhong, Ravi Tandon

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

[8] arXiv:2411.14423 [pdf, html, other]

Title: Unleashing the Potential of Multi-modal Foundation Models and Video Diffusion for 4D Dynamic Physical Scene Simulation

Zhuoman Liu, Weicai Ye, Yan Luximon, Pengfei Wan, Di Zhang

Comments: Homepage: this https URL

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

[9] arXiv:2411.14421 [pdf, html, other]

Title: From RNNs to Foundation Models: An Empirical Study on Commercial Building Energy Consumption

Shourya Bose, Yijiang Li, Amy Van Sant, Yu Zhang, Kibaek Kim

Comments: NeurIPS 2024 Workshop on Time Series in the Age of Large Models

Subjects: Machine Learning (cs.LG)

[10] arXiv:2411.14420 [pdf, other]

Title: Aggregating Funnels for Faster Fetch&Add and Queues

Younghun Roh, Yuanhao Wei, Eric Ruppert, Panagiota Fatourou, Siddhartha Jayanti, Julian Shun

Comments: This is the full version of the paper appearing in PPoPP 2025

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

[11] arXiv:2411.14411 [pdf, html, other]

Title: Multi-Agent Environments for Vehicle Routing Problems

Ricardo Gama, Daniel Fuertes, Carlos R. del-Blanco, Hugo L. Fernandes

Subjects: Machine Learning (cs.LG); Multiagent Systems (cs.MA)

[12] arXiv:2411.14409 [pdf, html, other]

Title: Inexact Generalized Golub-Kahan Methods for Large-Scale Bayesian Inverse Problems

Yutong Bu, Julianne Chung

Subjects: Numerical Analysis (math.NA)

[13] arXiv:2411.14405 [pdf, html, other]

Title: Marco-o1: Towards Open Reasoning Models for Open-Ended Solutions

Yu Zhao, Huifeng Yin, Bo Zeng, Hao Wang, Tianqi Shi, Chenyang Lyu, Longyue Wang, Weihua Luo, Kaifu Zhang

Subjects: Computation and Language (cs.CL)

[14] arXiv:2411.14404 [pdf, html, other]

Title: Resolving Multiple-Dynamic Model Uncertainty in Hypothesis-Driven Belief-MDPs

Ofer Dagan, Tyler Becker, Zachary N. Sunberg

Comments: 8 pages, 4 figures, submitted to AAMAS 2025

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

[15] arXiv:2411.14403 [pdf, html, other]

Title: Landing Trajectory Prediction for UAS Based on Generative Adversarial Network

Jun Xiang, Drake Essick, Luiz Gonzalez Bautista, Junfei Xie, Jun Chen

Comments: 9 pages, AIAA SCITECH 2023

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

[16] arXiv:2411.14402 [pdf, other]

Title: Multimodal Autoregressive Pre-training of Large Vision Encoders

Enrico Fini, Mustafa Shukor, Xiujun Li, Philipp Dufter, Michal Klein, David Haldimann, Sai Aitharaju, Victor Guilherme Turrisi da Costa, Louis Béthune, Zhe Gan, Alexander T Toshev, Marcin Eichner, Moin Nabi, Yinfei Yang, Joshua M. Susskind, Alaaeldin El-Nouby

Comments: this https URL

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

[17] arXiv:2411.14401 [pdf, html, other]

Title: Beyond Training: Dynamic Token Merging for Zero-Shot Video Understanding

Yiming Zhang, Zhuokai Zhao, Zhaorun Chen, Zenghui Ding, Xianjun Yang, Yining Sun

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

[18] arXiv:2411.14400 [pdf, html, other]

Title: 23 DoF Grasping Policies from a Raw Point Cloud

Martin Matak, Karl Van Wyk, Tucker Hermans

Comments: IEEE International Conference on Robotics and Automation (ICRA) Workshop on Geometric Representations 2023

Subjects: Robotics (cs.RO)

[19] arXiv:2411.14399 [pdf, html, other]

Title: DiscoTEX 1.0: Discontinuous collocation and implicit-turned-explicit (IMTEX) integration symplectic, symmetric numerical algorithms with high order jumps for differential equations II: extension to higher-orders of numerical convergence

Lidia J. Gomes Da Silva

Comments: 15 pages, 5 figures, 2 tables. Second paper of a series of papers. See this http URL:2401.08758 for application of these algorithms to numerical black hole perturbation theory. Comments welcomed. arXiv admin note: text overlap with arXiv:2401.08758

Subjects: Numerical Analysis (math.NA); Instrumentation and Methods for Astrophysics (astro-ph.IM); General Relativity and Quantum Cosmology (gr-qc); Mathematical Physics (math-ph)

[20] arXiv:2411.14398 [pdf, html, other]

Title: Lightweight Safety Guardrails Using Fine-tuned BERT Embeddings

Aaron Zheng, Mansi Rana, Andreas Stolcke

Comments: To appear in Proceedings of COLING 2025

Subjects: Computation and Language (cs.CL)

[21] arXiv:2411.14394 [pdf, html, other]

Title: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check

Alessandro Lotto, Alessandro Brighente, Mauro Conti

Subjects: Cryptography and Security (cs.CR)

[22] arXiv:2411.14393 [pdf, other]

Title: POS-tagging to highlight the skeletal structure of sentences

Grigorii Churakov

Comments: in Russian language. Conference: Automated control systems and information technologies this https URL Section: IT and automated systems

Subjects: Computation and Language (cs.CL)

[23] arXiv:2411.14387 [pdf, other]

Title: Hardness Amplification for Dynamic Binary Search Trees

Shunhua Jiang, Victor Lecomte, Omri Weinstein, Sorrachai Yingchareonthawornchai

Subjects: Data Structures and Algorithms (cs.DS)

[24] arXiv:2411.14386 [pdf, html, other]

Title: Learning Humanoid Locomotion with Perceptive Internal Model

Junfeng Long, Junli Ren, Moji Shi, Zirui Wang, Tao Huang, Ping Luo, Jiangmiao Pang

Comments: submitted to ICRA2025

Subjects: Robotics (cs.RO)

[25] arXiv:2411.14384 [pdf, html, other]

Title: Baking Gaussian Splatting into Diffusion Denoiser for Fast and Scalable Single-stage Image-to-3D Generation

Yuanhao Cai, He Zhang, Kai Zhang, Yixun Liang, Mengwei Ren, Fujun Luan, Qing Liu, Soo Ye Kim, Jianming Zhang, Zhifei Zhang, Yuqian Zhou, Zhe Lin, Alan Yuille

Comments: A novel one-stage 3DGS-based diffusion generates objects and scenes from a single view in ~6 seconds

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

[26] arXiv:2411.14381 [pdf, html, other]

Title: ETA-IK: Execution-Time-Aware Inverse Kinematics for Dual-Arm Systems

Yucheng Tang, Xi Huang, Yongzhou Zhang, Tao Chen, Ilshat Mamaev, Björn Hein

Subjects: Robotics (cs.RO)

[27] arXiv:2411.14375 [pdf, other]

Title: Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

Rong Gu (Mälardalen University)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 160-177

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[28] arXiv:2411.14374 [pdf, other]

Title: Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

Jan Gruteser (Heinrich Heine University Düsseldorf), Jan Roßbach (Heinrich Heine University Düsseldorf), Fabian Vu (Heinrich Heine University Düsseldorf), Michael Leuschel (Heinrich Heine University Düsseldorf)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 151-159

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

[29] arXiv:2411.14373 [pdf, other]

Title: Cross--layer Formal Verification of Robotic Systems

Sylvain Raïs, Julien Brunel, David Doose, Frédéric Herbreteau

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 143-150

Subjects: Robotics (cs.RO)

[30] arXiv:2411.14372 [pdf, other]

Title: A Case Study on Numerical Analysis of a Path Computation Algorithm

Grégoire Boussu (Thales Research and Technology), Nikolai Kosmatov (Thales Research and Technology), Franck Védrine (Université Paris-Saclay, CEA, List)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 126-142

Subjects: Software Engineering (cs.SE)

[31] arXiv:2411.14371 [pdf, other]

Title: Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study

Till Schnittka (University of Bremen), Mario Gleirscher (University of Bremen)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 109-125

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[32] arXiv:2411.14369 [pdf, other]

Title: Model Checking and Verification of Synchronisation Properties of Cobot Welding

Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 91-108

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA); Software Engineering (cs.SE)

[33] arXiv:2411.14368 [pdf, other]

Title: RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?

Andrea Gatti (University of Genoa), Viviana Mascardi (University of Genoa), Angelo Ferrando (University of Modena and Reggio Emilia)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 73-90

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

[34] arXiv:2411.14367 [pdf, other]

Title: ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

Maryam Ghaffari Saadat (University of Manchester), Angelo Ferrando (University of Modena and Reggio Emilia), Louise A. Dennis (University of Manchester), Michael Fisher (University of Manchester)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 38-55

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Robotics (cs.RO)

[35] arXiv:2411.14365 [pdf, other]

Title: Formal Simulation and Visualisation of Hybrid Programs

Pedro Mendes (University of Minho, Portugal), Ricardo Correia (University of Minho, Portugal), Renato Neves (INESC-TEC & University of Minho, Portugal), José Proença (CISTER, Faculty of Sciences of the University of Porto, Portugal)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 20-37

Subjects: Systems and Control (eess.SY); Programming Languages (cs.PL)

[36] arXiv:2411.14361 [pdf, html, other]

Title: Improved Lower Bounds for all Odd-Query Locally Decodable Codes

Arpon Basu, Jun-Ting Hsieh, Pravesh K. Kothari, Andrew D. Lin

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

[37] arXiv:2411.14358 [pdf, html, other]

Title: InCrowd-VI: A Realistic Visual-Inertial Dataset for Evaluating SLAM in Indoor Pedestrian-Rich Spaces for Human Navigation

Marziyeh Bamdad, Hans-Peter Hutter, Alireza Darvishy

Comments: 18 pages, 7 figures, 5 tabels

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

[38] arXiv:2411.14356 [pdf, html, other]

Title: Convex Approximation of Probabilistic Reachable Sets from Small Samples Using Self-supervised Neural Networks

Jun Xiang, Jun Chen

Comments: 10 pages

Subjects: Robotics (cs.RO)

[39] arXiv:2411.14354 [pdf, html, other]

Title: Contrasting local and global modeling with machine learning and satellite data: A case study estimating tree canopy height in African savannas

Esther Rolf, Lucia Gordon, Milind Tambe, Andrew Davies

Comments: 31 pages; 9 figures

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

[40] arXiv:2411.14349 [pdf, html, other]

Title: Agnostic Learning of Arbitrary ReLU Activation under Gaussian Marginals

Anxin Guo, Aravindan Vijayaraghavan

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)

[41] arXiv:2411.14347 [pdf, html, other]

Title: DINO-X: A Unified Vision Model for Open-World Object Detection and Understanding

Tianhe Ren, Yihao Chen, Qing Jiang, Zhaoyang Zeng, Yuda Xiong, Wenlong Liu, Zhengyu Ma, Junyi Shen, Yuan Gao, Xiaoke Jiang, Xingyu Chen, Zhuheng Song, Yuhong Zhang, Hongjie Huang, Han Gao, Shilong Liu, Hao Zhang, Feng Li, Kent Yu, Lei Zhang

Comments: Technical Report

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

[42] arXiv:2411.14346 [pdf, html, other]

Title: Lower Dimensional Spherical Representation of Medium Voltage Load Profiles for Visualization, Outlier Detection, and Generative Modelling

Edgar Mauricio Salazar Duque, Bart van der Holst, Pedro P. Vergara, Juan S. Giraldo, Phuong H. Nguyen, Anne Van der Molen, Han (J.G.)Slootweg

Subjects: Systems and Control (eess.SY)

[43] arXiv:2411.14345 [pdf, html, other]

Title: Layer Pruning with Consensus: A Triple-Win Solution

Leandro Giusti Mugnaini, Carolina Tavares Duarte, Anna H. Reali Costa, Artur Jordao

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

[44] arXiv:2411.14344 [pdf, html, other]

Title: Overcomplete Tensor Decomposition via Koszul-Young Flattenings

Pravesh K. Kothari, Ankur Moitra, Alexander S. Wein

Comments: 42 pages

Subjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)

[45] arXiv:2411.14343 [pdf, html, other]

Title: UnifiedCrawl: Aggregated Common Crawl for Affordable Adaptation of LLMs on Low-Resource Languages

Bethel Melesse Tessema (1), Akhil Kedia (2), Tae-Sun Chung (1) ((1) Ajou University, (2) Independent Researcher)

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

[46] arXiv:2411.14333 [pdf, html, other]

Title: Generalized Finite Difference Method for Solving Stochastic Diffusion Equations

Faezeh Nassajian Mojarrad

Comments: 22 pages

Subjects: Numerical Analysis (math.NA)

[47] arXiv:2411.14332 [pdf, html, other]

Title: Continuous nonlinear adaptive experimental design with gradient flow

Ruhui Jin, Qin Li, Stephen O. Mussmann, Stephen J. Wright

Subjects: Numerical Analysis (math.NA)

[48] arXiv:2411.14331 [pdf, html, other]

Title: Data Formats in Analytical DBMSs: Performance Trade-offs and Future Directions

Chunwei Liu, Anna Pavlenko, Matteo Interlandi, Brandon Haynes

Subjects: Databases (cs.DB)

[49] arXiv:2411.14330 [pdf, html, other]

Title: Datalog with First-Class Facts

Thomas Gilray, Arash Sahebolamri, Yihao Sun, Sowmith Kunapaneni, Sidharth Kumar, Kristopher Micinski

Comments: arXiv admin note: text overlap with arXiv:2211.11573

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[50] arXiv:2411.14322 [pdf, html, other]

Title: SplatR : Experience Goal Visual Rearrangement with 3D Gaussian Splatting and Dense Feature Matching

Arjun P S, Andrew Melnik, Gora Chand Nandi

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