We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for recent submissions, skipping first 1485

[ total of 2696 entries: 1-10 | ... | 1456-1465 | 1466-1475 | 1476-1485 | 1486-1495 | 1496-1505 | 1506-1515 | 1516-1525 | ... | 2696 ]
[ showing 10 entries per page: fewer | more ]

Tue, 21 May 2024 (continued, showing 10 of 630 entries)

[1486]  arXiv:2405.12105 [pdf, other]
Title: Sheet Music Transformer ++: End-to-End Full-Page Optical Music Recognition for Pianoform Sheet Music
Authors: Antonio Ríos-Vila, Jorge Calvo-Zaragoza, David Rizo, Thierry Paquet
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1487]  arXiv:2405.12104 [pdf, ps, other]
Title: Deciding branching hyperproperties for real time systems
Authors: Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[1488]  arXiv:2405.12101 [pdf, other]
Title: Sustainable business decision modelling with blockchain and digital twins: A survey
Authors: Gyan Wickremasinghe, Siofra Frost, Karen Rafferty, Vishal Sharma
Comments: 34 pages, 19 figures, 7 tables
Subjects: Networking and Internet Architecture (cs.NI); Emerging Technologies (cs.ET)
[1489]  arXiv:2405.12100 [pdf, other]
Title: DOP: Diagnostic-Oriented Prompting for Large Language Models in Mathematical Correction
Authors: Hao Chen, Biaojie Zeng, Xin Lin, Liang He, Aimin Zhou
Subjects: Computation and Language (cs.CL)
[1490]  arXiv:2405.12098 [pdf, other]
Title: Using Unsupervised Learning to Explore Robot-Pedestrian Interactions in Urban Environments
Authors: Sebastian Zug, Georg Jäger, Norman Seyffer, Martin Plank, Gero Licht, Felix Wilhelm Siebert
Subjects: Robotics (cs.RO)
[1491]  arXiv:2405.12096 [pdf, other]
Title: PATE: Proximity-Aware Time series anomaly Evaluation
Authors: Ramin Ghorbani, Marcel J.T. Reinders, David M.J. Tax
Comments: Accepted by ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (KDD 2024), Research Track. (Preprint version)
Subjects: Machine Learning (cs.LG)
[1492]  arXiv:2405.12094 [pdf, other]
Title: Is Mamba Compatible with Trajectory Optimization in Offline Reinforcement Learning?
Authors: Yang Dai, Oubo Ma, Longfei Zhang, Xingxing Liang, Shengchao Hu, Mengzhu Wang, Shouling Ji, Jincai Huang, Li Shen
Comments: 20 pages, 8 figures
Subjects: Machine Learning (cs.LG)
[1493]  arXiv:2405.12089 [pdf, other]
Title: Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core
Authors: Bing Xue, Mark Zwolinski
Subjects: Hardware Architecture (cs.AR)
[1494]  arXiv:2405.12087 [pdf, other]
Title: Channel Balance Interpolation in the Lightning Network via Machine Learning
Authors: Vincent, Emanuele Rossi, Vikash Singh
Subjects: Machine Learning (cs.LG)
[1495]  arXiv:2405.12084 [pdf, ps, other]
Title: Distributional Semantics, Holism, and the Instability of Meaning
Authors: Jumbly Grindrod, J.D. Porter, Nat Hansen
Subjects: Computation and Language (cs.CL)
[ total of 2696 entries: 1-10 | ... | 1456-1465 | 1466-1475 | 1476-1485 | 1486-1495 | 1496-1505 | 1506-1515 | 1516-1525 | ... | 2696 ]
[ showing 10 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)