Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 2278 entries : 1-50 ... 1851-1900 1901-1950 1951-2000 1962-2011 2001-2050 2051-2100 2101-2150 ... 2251-2278
Showing up to 50 entries per page: fewer | more | all

Fri, 3 Jan 2025 (continued, showing 50 of 730 entries )

[1962] arXiv:2501.00529 [pdf, html, other]
Title: Sinhala Transliteration: A Comparative Analysis Between Rule-based and Seq2Seq Approaches
Yomal De Mel, Kasun Wickramasinghe, Nisansa de Silva, Surangika Ranathunga
Comments: 8 pages, 7 tables
Subjects: Computation and Language (cs.CL)
[1963] arXiv:2501.00528 [pdf, html, other]
Title: PyMilo: A Python Library for ML I/O
AmirHosein Rostami, Sepand Haghighi, Sadra Sabouri, Alireza Zolanvari
Comments: 7 pages, 5 figures, 2 tables, 3 code blocks
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[1964] arXiv:2501.00527 [pdf, html, other]
Title: Exploiting Boundary Loss for the Hierarchical Panoptic Segmentation of Plants and Leaves
Madeleine Darbyshire, Elizabeth Sklar, Simon Parsons
Comments: Presented at the 9th Workshop for Computer Vision in Plant Phenotyping and Agriculture (CVPPA) 2024 at the European Conference of Computer Vision (ECCV) 2024. arXiv admin note: text overlap with arXiv:2310.06582
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[1965] arXiv:2501.00525 [pdf, html, other]
Title: Is Segment Anything Model 2 All You Need for Surgery Video Segmentation? A Systematic Evaluation
Cheng Yuan, Jian Jiang, Kunyi Yang, Lv Wu, Rui Wang, Zi Meng, Haonan Ping, Ziyu Xu, Yifan Zhou, Wanli Song, Hesheng Wang, Qi Dou, Yutong Ban
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[1966] arXiv:2501.00523 [pdf, html, other]
Title: Event-Triggered Observer-Based Fixed-Time Consensus Control for Uncertain Nonlinear Multiagent Systems with Unknown States
Kewei Zhou, Ziming Wang, Zhihao Chen, Xin Wang
Subjects: Systems and Control (eess.SY)
[1967] arXiv:2501.00522 [pdf, html, other]
Title: TinyHelen's First Curriculum: Training and Evaluating Tiny Language Models in a Simpler Language Environment
Ke Yang, Volodymyr Kindratenko, ChengXiang Zhai
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[1968] arXiv:2501.00520 [pdf, html, other]
Title: Innovative Silicosis and Pneumonia Classification: Leveraging Graph Transformer Post-hoc Modeling and Ensemble Techniques
Bao Q. Bui, Tien T.T. Nguyen, Duy M. Le, Cong Tran, Cuong Pham
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
[1969] arXiv:2501.00517 [pdf, other]
Title: A Method for Enhancing the Safety of Large Model Generation Based on Multi-dimensional Attack and Defense
Keke Zhai
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[1970] arXiv:2501.00513 [pdf, other]
Title: Fine-grained Video-Text Retrieval: A New Benchmark and Method
Yifan Xu, Xinhao Li, Yichun Yang, Rui Huang, Limin Wang
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR); Machine Learning (cs.LG)
[1971] arXiv:2501.00511 [pdf, other]
Title: Stochastic Extragradient with Flip-Flop Shuffling & Anchoring: Provable Improvements
Jiseok Chae, Chulhee Yun, Donghwan Kim
Comments: 73+7 pages, 4 figures. Published in NeurIPS 2024
Subjects: Machine Learning (cs.LG); Optimization and Control (math.OC)
[1972] arXiv:2501.00510 [pdf, html, other]
Title: VinT-6D: A Large-Scale Object-in-hand Dataset from Vision, Touch and Proprioception
Zhaoliang Wan, Yonggen Ling, Senlin Yi, Lu Qi, Wangwei Lee, Minglei Lu, Sicheng Yang, Xiao Teng, Peng Lu, Xu Yang, Ming-Hsuan Yang, Hui Cheng
Subjects: Robotics (cs.RO)
[1973] arXiv:2501.00509 [pdf, html, other]
Title: Fotheidil: an Automatic Transcription System for the Irish Language
Liam Lonergan, Ibon Saratxaga, John Sloan, Oscar Maharog, Mengjie Qian, Neasa Ní Chiaráin, Christer Gobl, Ailbhe Ní Chasaide
Comments: Accepted to the 5th Celtic Language Technology Workshop within COLING 2025
Subjects: Computation and Language (cs.CL); Sound (cs.SD); Audio and Speech Processing (eess.AS)
[1974] arXiv:2501.00508 [pdf, html, other]
Title: Active Learning of General Halfspaces: Label Queries vs Membership Queries
Ilias Diakonikolas, Daniel M. Kane, Mingchen Ma
Comments: Accepted by NeurIPS 2024
Subjects: Machine Learning (cs.LG)
[1975] arXiv:2501.00507 [pdf, html, other]
Title: Real-Time Sampling-Based Safe Motion Planning for Robotic Manipulators in Dynamic Environments
Nermin Covic, Bakir Lacevic, Dinko Osmankovic, Tarik Uzunovic
Comments: This work has been submitted to the IEEE Transactions on Robotics for possible publication
Subjects: Robotics (cs.RO)
[1976] arXiv:2501.00502 [pdf, html, other]
Title: Exploring Physics-Informed Neural Networks for Crop Yield Loss Forecasting
Miro Miranda, Marcela Charfuelan, Andreas Dengel
Comments: 6 pages, 2 figures, NeurIPS 2024 Workshop on Tackling Climate Change with Machine Learning
Journal-ref: https://www.climatechange.ai/papers/neurips2024/45
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[1977] arXiv:2501.00501 [pdf, other]
Title: The Disjunction-Free Fragment of D2 is Three-Valued
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 257-270
Subjects: Logic in Computer Science (cs.LO)
[1978] arXiv:2501.00500 [pdf, other]
Title: A note on Grigoriev and Zaitsev's system CNL$^2_4$
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan), Jonas R. B. Arenhart (Department of Philosophy, Federal University of Santa Catarina, Florianópolis, Brazil)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 229-243
Subjects: Logic in Computer Science (cs.LO)
[1979] arXiv:2501.00499 [pdf, other]
Title: The Power of Generalized Clemens Semantics
Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan), Jonas R. B. Arenhart (Department of Philosophy, Federal University of Santa Catarina, Florianópolis, Brazil)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 244-256
Subjects: Logic in Computer Science (cs.LO)
[1980] arXiv:2501.00498 [pdf, other]
Title: Unified Gentzen Approach to Connexive Logics over Wansing's C
Norihiro Kamide (Nagoya City University, Aichi, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 214-228
Subjects: Logic in Computer Science (cs.LO)
[1981] arXiv:2501.00495 [pdf, other]
Title: Kamide is in America, Moisil and Leitgeb are in Australia
Satoru Niki (Department of Philosophy I, Ruhr University Bochum, Bochum, Germany), Hitoshi Omori (Graduate School of Information Sciences, Tohoku University, Sendai, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 180-194
Subjects: Logic in Computer Science (cs.LO)
[1982] arXiv:2501.00494 [pdf, other]
Title: A Unified Gentzen-style Framework for Until-free LTL
Norihiro Kamide (Nagoya City University, Japan), Sara Negri (University of Genoa, Italy)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 165-179
Subjects: Logic in Computer Science (cs.LO)
[1983] arXiv:2501.00493 [pdf, other]
Title: Complexity of Nonassociative Lambek Calculus with classical logic
Paweł Płaczek (WSB Merito University in Poznan, Poland)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 150-164
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[1984] arXiv:2501.00492 [pdf, other]
Title: Modal Logics -- RNmatrices vs. Nmatrices
Marcelo E. Coniglio (University of Campinas, Campinas, Brazil), Paweł Pawłowski (Ghent University, Ghent, Belgium), Daniel Skurt (Ruhr University Bochum, Bochum, Germany)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 138-149
Subjects: Logic in Computer Science (cs.LO)
[1985] arXiv:2501.00489 [pdf, other]
Title: Many-Valued Modal Logic
Amir Karniel (Department of Mathematics, Technion - Israel Institute of Technology), Michael Kaminski (Department of Computer Science, Technion - Israel Institute of Technology)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 121-137
Subjects: Logic in Computer Science (cs.LO)
[1986] arXiv:2501.00488 [pdf, other]
Title: Incomplete Descriptions and Qualified Definiteness
Bartosz Więckowski (Goethe University, Frankfurt am Main, Germany)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 109-120
Subjects: Logic in Computer Science (cs.LO)
[1987] arXiv:2501.00487 [pdf, other]
Title: Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
Akinori Maniwa (Tokyo Institute of Technology, Tokyo, Japan), Ryo Kashima (Tokyo Institute of Technology, Tokyo, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 93-108
Subjects: Logic in Computer Science (cs.LO)
[1988] arXiv:2501.00486 [pdf, other]
Title: Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms
Takahiro Sawasaki (Institute of Liberal Arts and Science, Kanazawa University, Kanazawa, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 66-76
Subjects: Logic in Computer Science (cs.LO)
[1989] arXiv:2501.00485 [pdf, other]
Title: Two Cases of Deduction with Non-referring Descriptions
Jiří Raclavský (Masaryk University, Brno, Czech Republic)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 48-65
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)
[1990] arXiv:2501.00484 [pdf, other]
Title: Nested-sequent Calculus for Modal Logic MB
Tomoaki Kawano (Kanagawa University)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 33-47
Subjects: Logic in Computer Science (cs.LO)
[1991] arXiv:2501.00483 [pdf, other]
Title: Twist Sequent Calculi for S4 and its Neighbors
Norihiro Kamide (Nagoya City University, Japan)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 16-32
Subjects: Logic in Computer Science (cs.LO)
[1992] arXiv:2501.00481 [pdf, other]
Title: A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
Yaroslav Petrukhin (University of Lodz)
Comments: In Proceedings NCL'24, arXiv:2412.20053
Journal-ref: EPTCS 415, 2024, pp. 5-15
Subjects: Logic in Computer Science (cs.LO)
[1993] arXiv:2501.00480 [pdf, html, other]
Title: Lyapunov-based Resilient Secondary Synchronization Strategy of AC Microgrids Under Exponentially Energy-Unbounded FDI Attacks
Mohamadamin Rajabinezhad, Nesa Shams, Asad Ali Khan, Omar A. Beg, Shan Zuo
Comments: arXiv admin note: substantial text overlap with arXiv:2309.17253
Subjects: Systems and Control (eess.SY)
[1994] arXiv:2501.00476 [pdf, other]
Title: Design To Convert a Wired PLC into Wireless PLC
Sushil Ghildiyal, Kishankumar Bhimani, Manimozhi M
Comments: 9 pages, 11 figures
Journal-ref: International Journal for Research in Applied Science and Engineering Technology (IJRASET), Volume 6, Issue I, Page No: 1591-1597, 2018
Subjects: Human-Computer Interaction (cs.HC); Systems and Control (eess.SY); Instrumentation and Detectors (physics.ins-det)
[1995] arXiv:2501.00473 [pdf, html, other]
Title: Quantifying the Dynamics of Harm Caused by Retracted Research
Yunyou Huang, Jiahui Zhao, Dandan Cui, Zhengxin Yang, Bingjie Xia, Qi Liang, Wenjing Liu, Li Ma, Suqin Tang, Tianyong Hao, Zhifei Zhang, Wanling Gao, Jianfeng Zhan
Subjects: Digital Libraries (cs.DL)
[1996] arXiv:2501.00467 [pdf, html, other]
Title: Score-Based Metropolis-Hastings Algorithms
Ahmed Aloui, Ali Hasan, Juncheng Dong, Zihao Wu, Vahid Tarokh
Subjects: Machine Learning (cs.LG); Computation (stat.CO)
[1997] arXiv:2501.00465 [pdf, html, other]
Title: Dementia Detection using Multi-modal Methods on Audio Data
Saugat Kannojia, Anirudh Praveen, Danish Vasdev, Saket Nandedkar, Divyansh Mittal, Sarthak Kalankar, Shaurya Johari, Vipul Arora
Comments: 4 pages
Subjects: Machine Learning (cs.LG)
[1998] arXiv:2501.00464 [pdf, html, other]
Title: Addressing Challenges in Data Quality and Model Generalization for Malaria Detection
Kiswendsida Kisito Kabore, Desire Guel
Comments: 22 pages, 17 figures, 17 tables, In: Journal of Sensor Networks and Data Communications (JSNDC). ISSN: 2994-6433. DOI: https://doi.org/10.33140/JSNDC.04.03.09
Subjects: Machine Learning (cs.LG); Signal Processing (eess.SP)
[1999] arXiv:2501.00463 [pdf, html, other]
Title: SAT-LDM: Provably Generalizable Image Watermarking for Latent Diffusion Models with Self-Augmented Training
Lu Zhang, Liang Zeng
Comments: 24 pages, 7 figures
Subjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)
[2000] arXiv:2501.00461 [pdf, other]
Title: Efficient support ticket resolution using Knowledge Graphs
Sherwin Varghese, James Tian
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA)
[2001] arXiv:2501.00457 [pdf, html, other]
Title: Differentiable Prompt Learning for Vision Language Models
Zhenhan Huang, Tejaswini Pedapati, Pin-Yu Chen, Jianxi Gao
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)
[2002] arXiv:2501.00452 [pdf, html, other]
Title: Unrolled Creative Adversarial Network For Generating Novel Musical Pieces
Pratik Nag
Subjects: Sound (cs.SD); Machine Learning (cs.LG); Audio and Speech Processing (eess.AS)
[2003] arXiv:2501.00451 [pdf, html, other]
Title: Computability of Initial Value Problems
Vasco Brattka, Hendrik Smischliaew
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[2004] arXiv:2501.00449 [pdf, other]
Title: Do Students with Different Personality Traits Demonstrate Different Physiological Signals in Video-based Learning?
Chun-Hsiung Tseng, Hao-Chiang Koong Lin, Yung-Hui Chen, Jia-Rou Lin, Andrew Chih-Wei Huang
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)
[2005] arXiv:2501.00448 [pdf, html, other]
Title: A Complex Frequency-Based Control for Inverter-Based Resources
R. Bernal, F. Milano
Subjects: Systems and Control (eess.SY)
[2006] arXiv:2501.00446 [pdf, html, other]
Title: DEHYDRATOR: Enhancing Provenance Graph Storage via Hierarchical Encoding and Sequence Generation
Jie Ying, Tiantian Zhu, Mingqi Lv, Tieming Chen
Subjects: Cryptography and Security (cs.CR)
[2007] arXiv:2501.00444 [pdf, html, other]
Title: Knowledge-aware equation discovery with automated background knowledge extraction
Elizaveta Ivanchik, Alexander Hvatov
Subjects: Artificial Intelligence (cs.AI)
[2008] arXiv:2501.00438 [pdf, html, other]
Title: METANOIA: A Lifelong Intrusion Detection and Investigation System for Mitigating Concept Drift
Jie Ying, Tiantian Zhu, Aohan Zheng, Tieming Chen, Mingqi Lv, Yan Chen
Subjects: Cryptography and Security (cs.CR)
[2009] arXiv:2501.00437 [pdf, html, other]
Title: Unleashing Text-to-Image Diffusion Prior for Zero-Shot Image Captioning
Jianjie Luo, Jingwen Chen, Yehao Li, Yingwei Pan, Jianlin Feng, Hongyang Chao, Ting Yao
Comments: ECCV 2024
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Machine Learning (cs.LG); Multimedia (cs.MM)
[2010] arXiv:2501.00436 [pdf, html, other]
Title: Intuitive Analysis of the Quantization-based Optimization: From Stochastic and Quantum Mechanical Perspective
Jinwuk Seok, Changsik Cho
Comments: published in NeurIPS 2024 workshop OPT2024
Subjects: Machine Learning (cs.LG); Quantum Physics (quant-ph)
[2011] arXiv:2501.00432 [pdf, html, other]
Title: OV-HHIR: Open Vocabulary Human Interaction Recognition Using Cross-modal Integration of Large Language Models
Lala Shakti Swarup Ray, Bo Zhou, Sungho Suh, Paul Lukowicz
Comments: Accepted in IEEE ICASSP 2025
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
Total of 2278 entries : 1-50 ... 1851-1900 1901-1950 1951-2000 1962-2011 2001-2050 2051-2100 2101-2150 ... 2251-2278
Showing up to 50 entries per page: fewer | more | all