Computer Science

Authors and titles for Dec 2025, skipping first 65

[66]  arXiv:2512.00079 [pdf, ps, other]

Title: InF-ATPG: Intelligent FFR-Driven ATPG with Advanced Circuit Representation Guided Reinforcement Learning

Authors: Bin Sun, Rengang Zhang, Zhiteng Chao, Zizhen Liu, Jianan Mu, Jing Ye, Huawei Li

Comments: 9 pages,6 figures

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

[67]  arXiv:2512.00080 [pdf, ps, other]

Title: Conceptual Evaluation of Deep Visual Stereo Odometry for the MARWIN Radiation Monitoring Robot in Accelerator Tunnels

Authors: André Dehne, Juri Zach, Peer Stelldinger

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

[68]  arXiv:2512.00081 [pdf, ps, other]

Title: Strong Normalization for the Safe Fragment of a Minimal Rewrite System: A Triple-Lexicographic Proof and a Conjecture on the Unprovability of Full Termination for Any Relational Operator-Only TRS

Authors: Moses Rahnama

Comments: 12 pages, formally verified theorems in a proof assistant

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[69]  arXiv:2512.00082 [pdf, ps, other]

Title: Exploring Diagnostic Prompting Approach for Multimodal LLM-based Visual Complexity Assessment: A Case Study of Amazon Search Result Pages

Authors: Divendar Murtadak, Yoon Kim, Trilokya Akula

Comments: 9 pages, 4 figures, 9 tables. Study on diagnostic prompting for multimodal LLM-based visual complexity assessment of Amazon search result pages

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

[70]  arXiv:2512.00083 [pdf, ps, other]

Title: LLaMCAT: Optimizing Large Language Model Inference with Cache Arbitration and Throttling

Authors: Zhongchun Zhou, Chengtao Lai, Wei Zhang

Comments: Accepted to ICPP 2025

Journal-ref: In Proceedings of 54th International Conference on Parallel Processing (ICPP 2025)

Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC)

[71]  arXiv:2512.00084 [pdf, ps, other]

Title: A Fast and Efficient Modern BERT based Text-Conditioned Diffusion Model for Medical Image Segmentation

Authors: Venkata Siddharth Dhara, Pawan Kumar

Comments: 15 pages, 3 figures, Accepted in Slide 3 10th International Conference on Computer Vision & Image Processing (CVIP 2026)

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

[72]  arXiv:2512.00085 [pdf, ps, other]

Title: Hyper-GoalNet: Goal-Conditioned Manipulation Policy Learning with HyperNetworks

Authors: Pei Zhou, Wanting Yao, Qian Luo, Xunzhe Zhou, Yanchao Yang

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

[73]  arXiv:2512.00086 [pdf, ps, other]

Title: Multi-modal On-Device Learning for Monocular Depth Estimation on Ultra-low-power MCUs

Authors: Davide Nadalini, Manuele Rusci, Elia Cereda, Luca Benini, Francesco Conti, Daniele Palossi

Comments: 14 pages, 9 figures, 3 tables. Associated open-source release available at: this https URL

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

[74]  arXiv:2512.00087 [pdf, ps, other]

Title: Exploring Automated Recognition of Instructional Activity and Discourse from Multimodal Classroom Data

Authors: Ivo Bueno, Ruikun Hou, Babette Bühler, Tim Fütterer, James Drimalla, Jonathan Kyle Foster, Peter Youngs, Peter Gerjets, Ulrich Trautwein, Enkelejda Kasneci

Comments: This article has been accepted for publication in the IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) 2026

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

[75]  arXiv:2512.00088 [pdf, ps, other]

Title: SemImage: Semantic Image Representation for Text, a Novel Framework for Embedding Disentangled Linguistic Features

Authors: Mohammad Zare

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