arxiv.org

RSS Atom JSON

931.
Intuitionism and computing with partial information
arxiv.org · /rss/math.LO
▲ 0 · May 21
932.
Model Comparison Games for Generalized Quantifiers
arxiv.org · /rss/math.LO
▲ 0 · May 21
933.
Forcing $\mathbf{\Sigma}^1_1$-Separation on $\omega_1^{\omega_1}$
arxiv.org · /rss/math.LO
▲ 0 · May 21
934.
On graphs of total projective functions
arxiv.org · /rss/math.LO
▲ 0 · May 21
935.
Martin's Axiom, Large Continuum and Global $\Sigma^1_n$-Uniformization
arxiv.org · /rss/math.LO
▲ 0 · May 21
936.
Listing the hyperarithmetical functions
arxiv.org · /rss/math.LO
▲ 0 · May 21
937.
Revisiting $\mathfrak b$ and $\mathfrak d$ through Interval Structures
arxiv.org · /rss/math.LO
▲ 0 · May 21
938.
Leveraging Vision-Language Models to Detect Attention in Educational Videos
arxiv.org · /rss/cs.CV
▲ 0 · May 21
939.
Why Latent Actions Fail, and How to Prevent It
arxiv.org · /rss/cs.CV
▲ 0 · May 21
940.
AI-Assisted Competency Assessment from Egocentric Video in Simulation-Based Nursing Education
arxiv.org · /rss/cs.CV
▲ 0 · May 21
941.
AnimeAdapter: Fine-grained and Consistent Zero-shot Anime Character Generation
arxiv.org · /rss/cs.CV
▲ 0 · May 21
942.
Generation of Heterogeneous PET Images from Uniform Organ Activity Maps Using a Pretrained Domain-Adapted Diffusion Model
arxiv.org · /rss/cs.CV
▲ 0 · May 21
943.
You Don't Need Attention: Gated Convolutional Modeling for Watch-Based Fall Detection
arxiv.org · /rss/cs.CV
▲ 0 · May 21
944.
Regulating Anatomy-Aware Rewards via Trajectory-Integral Feedback for Volumetric Computed Tomography Analysis
arxiv.org · /rss/cs.CV
▲ 0 · May 21
945.
Can Vision Models Truly Forget? Mirage: Representation-Level Certification of Visual Unlearning
arxiv.org · /rss/cs.CV
▲ 0 · May 21
946.
JUDO: A Juxtaposed Domain-Oriented Multimodal Reasoner for Industrial Anomaly QA
arxiv.org · /rss/cs.CV
▲ 0 · May 21
947.
MedCRP-CL: Continual Medical Image Segmentation via Bayesian Nonparametric Semantic Modality Discovery
arxiv.org · /rss/cs.CV
▲ 0 · May 21
948.
ProcBench: Evaluating Process-Level Defects and Control Preservation in LLM Coding Agents
arxiv.org · /rss/cs.SE
▲ 0 · May 21
949.
Combined Program Analysis Techniques: A Systematic Mapping Study
arxiv.org · /rss/cs.SE
▲ 0 · May 21
950.
A Semantic-Web Oriented Competency Model for Engineering Programs
arxiv.org · /rss/cs.SE
▲ 0 · May 21
951.
Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
arxiv.org · /rss/cs.SE
▲ 0 · May 21
952.
Code Generation by Differential Test Time Scaling
arxiv.org · /rss/cs.SE
▲ 0 · May 21
953.
A Multi-Layer Testing Framework for Automated Data Quality Assurance in Cloud-Native ELT Pipelines
arxiv.org · /rss/cs.SE
▲ 0 · May 21
954.
Privacy-by-Design Adaptive Group Assignment for Digital Lifestyle Coaching at Scale
arxiv.org · /rss/cs.SE
▲ 0 · May 21
955.
An Event-Driven Tool for Context-Aware Code Smell Detection Using SmellDSL
arxiv.org · /rss/cs.SE
▲ 0 · May 21
956.
BioDefect: The First Dataset for Defect Detection in Bioinformatics Software
arxiv.org · /rss/cs.SE
▲ 0 · May 21
957.
Beyond the Tip of the Iceberg: Understanding SATD in Dockerfiles through the Lens of Co-evolution
arxiv.org · /rss/cs.SE
▲ 0 · May 21
958.
Hypergraph Partitioning on GPU with Distinct Incident Hyperedges and Size Constraints
arxiv.org · /rss/cs.DC
▲ 0 · May 21
959.
Hybrid Edge-HPC Systems for Low-Latency Data-Driven Inference
arxiv.org · /rss/cs.DC
▲ 0 · May 21
960.
Llamas on the Web: Memory-Efficient, Performance-Portable, and Multi-Precision LLM Inference with WebGPU
arxiv.org · /rss/cs.DC
▲ 0 · May 21