Computer Science

Authors and titles for recent submissions

• Wed, 27 Nov 2024
• Tue, 26 Nov 2024
• Mon, 25 Nov 2024
• Fri, 22 Nov 2024
• Thu, 21 Nov 2024

See today's new changes

Fri, 22 Nov 2024 (continued, showing 50 of 426 entries )

[1701] 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)

[1702] 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)

[1703] 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)

[1704] 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)

[1705] 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)

[1706] 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)

[1707] 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)

[1708] 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)

[1709] 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)

[1710] 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)

[1711] 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)

[1712] 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)

[1713] 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)

[1714] 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)

[1715] 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)

[1716] 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)

[1717] 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); Machine Learning (stat.ML)

[1718] 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)

[1719] 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)

[1720] 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)

[1721] 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)

[1722] 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)

[1723] 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)

[1724] 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)

[1725] 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)

[1726] 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)

[1727] 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)

[1728] arXiv:2411.14321 [pdf, html, other]

Title: Continual Learning and Lifting of Koopman Dynamics for Linear Control of Legged Robots

Feihan Li, Abulikemu Abuduweili, Yifan Sun, Rui Chen, Weiye Zhao, Changliu Liu

Subjects: Robotics (cs.RO)

[1729] arXiv:2411.14319 [pdf, other]

Title: Iteration-Free Cooperative Distributed MPC through Multiparametric Programming

Radhe S. T. Saini, Parth R. Brahmbhatt, Styliani Avraamidou, Hari S. Ganesh

Subjects: Systems and Control (eess.SY)

[1730] arXiv:2411.14318 [pdf, html, other]

Title: Velocitune: A Velocity-based Dynamic Domain Reweighting Method for Continual Pre-training

Zheheng Luo, Xin Zhang, Xiao Liu, Haoling Li, Yeyun Gong, Chen Qi, Peng Cheng

Comments: Work in progress

Subjects: Computation and Language (cs.CL)

[1731] arXiv:2411.14315 [pdf, html, other]

Title: Introducing a Harmonic Balance Navier-Stokes Finite Element Solver to Accelerate Cardiovascular Simulations

Dongjie Jia, Mahdi Esmaily

Subjects: Numerical Analysis (math.NA); Fluid Dynamics (physics.flu-dyn)

[1732] arXiv:2411.14314 [pdf, html, other]

Title: Switching Graph Matrix Norm Bounds: from i.i.d. to Random Regular Graphs

Jeff Xu

Subjects: Computational Complexity (cs.CC)

[1733] arXiv:2411.14305 [pdf, html, other]

Title: Outlier-robust Mean Estimation near the Breakdown Point via Sum-of-Squares

Hongjie Chen, Deepak Narayanan Sridharan, David Steurer

Comments: Accepted at SODA 2025, 47 pages

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

[1734] arXiv:2411.14303 [pdf, html, other]

Title: BugSpotter: Automated Generation of Code Debugging Exercises

Victor-Alexandru Pădurean, Paul Denny, Adish Singla

Comments: Preprint of the SIGCSE'25 paper

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

[1735] arXiv:2411.14301 [pdf, other]

Title: Sustainability concepts for digital research infrastructures developed through ground-level stakeholder empowerment

Florian Ahrens, Dawn Geatches, Niall McCarroll, Justin Buck, Alvaro Lorenzo-Lopez, Hossein Keshtkar, Nadine Fayyad, Hamidreza Hassanloo, Danae Manika

Comments: 18 pages, 1 figure

Subjects: Computers and Society (cs.CY)

[1736] arXiv:2411.14299 [pdf, html, other]

Title: Masala-CHAI: A Large-Scale SPICE Netlist Dataset for Analog Circuits by Harnessing AI

Jitendra Bhandari, Vineet Bhat, Yuheng He, Siddharth Garg, Hamed Rahmani, Ramesh Karri

Subjects: Hardware Architecture (cs.AR)

[1737] arXiv:2411.14298 [pdf, other]

Title: Decoding the Meaning of Success on Digital Labor Platforms: Worker-Centered Perspectives

Pyeonghwa Kim, Charis Asante-Agyei, Isabel Munoz, Michael Dunn, Steve Sawyer

Comments: PAPER WAS ACCEPTED AT CSCW ON SEPTEMBER 2024

Subjects: Human-Computer Interaction (cs.HC)

[1738] arXiv:2411.14296 [pdf, html, other]

Title: Improving Routability Prediction via NAS Using a Smooth One-shot Augmented Predictor

Arjun Sridhar, Chen-Chia Chang, Junyao Zhang, Yiran Chen

Subjects: Machine Learning (cs.LG)

[1739] arXiv:2411.14295 [pdf, html, other]

Title: StereoCrafter-Zero: Zero-Shot Stereo Video Generation with Noisy Restart

Jian Shi, Qian Wang, Zhenyu Li, Peter Wonka

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

[1740] arXiv:2411.14290 [pdf, html, other]

Title: Soft Manipulation Surface With Reduced Actuator Density For Heterogeneous Object Manipulation

Pratik Ingle, Kasper Støy, Andres Faiña

Subjects: Robotics (cs.RO)

[1741] arXiv:2411.14288 [pdf, html, other]

Title: On the Sample Complexity of One Hidden Layer Networks with Equivariance, Locality and Weight Sharing

Arash Behboodi, Gabriele Cesa

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

[1742] arXiv:2411.14284 [pdf, html, other]

Title: Algebras for Deterministic Computation Are Inherently Incomplete

Balder ten Cate, Tobias Kappé

Subjects: Programming Languages (cs.PL)

[1743] arXiv:2411.14283 [pdf, html, other]

Title: CAIP: Detecting Router Misconfigurations with Context-Aware Iterative Prompting of LLMs

Xi Jiang, Aaron Gember-Jacobson, Nick Feamster

Comments: 12 pages, 4 tables, 5 figures

Subjects: Networking and Internet Architecture (cs.NI)

[1744] arXiv:2411.14281 [pdf, html, other]

Title: Q-CSM: Q-Learning-based Cognitive Service Management in Heterogeneous IoT Networks

Kubra Duran, Mehmet Ozdem, Kerem Gursu, Berk Canberk

Subjects: Networking and Internet Architecture (cs.NI)

[1745] arXiv:2411.14280 [pdf, html, other]

Title: EasyHOI: Unleashing the Power of Large Models for Reconstructing Hand-Object Interactions in the Wild

Yumeng Liu, Xiaoxiao Long, Zemin Yang, Yuan Liu, Marc Habermann, Christian Theobalt, Yuexin Ma, Wenping Wang

Comments: Project page: this https URL

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

[1746] arXiv:2411.14279 [pdf, other]

Title: Looking Beyond Text: Reducing Language bias in Large Vision-Language Models via Multimodal Dual-Attention and Soft-Image Guidance

Haozhe Zhao, Shuzheng Si, Liang Chen, Yichi Zhang, Maosong Sun, Mingjia Zhang, Baobao Chang

Comments: 19 pages, 12 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL)

[1747] arXiv:2411.14278 [pdf, html, other]

Title: Adaptive Anomaly Detection for Identifying Attacks in Cyber-Physical Systems: A Systematic Literature Review

Pablo Moriano, Steven C. Hespeler, Mingyan Li, Maria Mahbub

Comments: 35 pages, 4 figures, 6 tables

Subjects: Cryptography and Security (cs.CR)

[1748] arXiv:2411.14277 [pdf, html, other]

Title: Neuro-Symbolic Query Optimization in Knowledge Graphs

Maribel Acosta, Chang Qin, Tim Schwabe

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[1749] arXiv:2411.14276 [pdf, html, other]

Title: A $k^{\frac{q}{q-2}}$ Lower Bound for Odd Query Locally Decodable Codes from Bipartite Kikuchi Graphs

Oliver Janzer, Peter Manohar

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[1750] arXiv:2411.14275 [pdf, html, other]

Title: Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming

Ahana Ghosh, Liina Malva, Alkis Gotovos, Danial Hooshyar, Adish Singla

Comments: Preprint of the SIGCSE'25 paper

Subjects: Computers and Society (cs.CY)