🧠 computer science - scour · Scour

Weighing Timed Regular Languages: The Final Step (long version)

🤖LLMs Academic

On the Complexity of the Bi-infinite Post Correspondence Problem

⚛️Quantum Computing Academic

A space-time sparse-grid method for the wave equation

⚛️Quantum Computing Academic

Compiling Rewrite Rules to Finite-State Transducers with the Worsening Trick

🤖LLM Academic

On the Complexity of Signed Domination

⚛️Quantum Computing Academic

Mean Teacher based SSL Framework for Indoor Localization Using Wi-Fi RSSI Fingerprinting

💻programming Academic

PatchSTG: Scalable Spatiotemporal Graph Transformers for Traffic Forecasting on Irregular Sensor Networks

🤖LLM Academic

Multilevel Stochastic Gradient Descent for Risk-Averse PDE-Constrained Optimization

🧠AI Models Academic

Quantum Walks on Simplicial Complexes and Harmonic Homology: Application to Topological Data Analysis with Superpolynomial Speedups

🖥️operating systems Academic

Palindrome complexity versus factor complexity

🤖LLM Academic

Transformer Based Model for Spatiotemporal Feature Learning in EEG Emotion Recognition

🤖AI Academic

An Empirical Comparison of General Context-Free Parsers

🏗️software engineering Academic

arxiv.org··Hacker News

Beyond Item IDs: Scaling Short-Form-Video Recommendation via Semantic-Native Long Sequence Modeling

🤖LLM Academic

A remark on diagnosability verification

🔌MCP Academic

Syntax-driven Incremental Program Verification of Matching Logic Properties

🏗️software engineering Academic

Passive Learning of Symbolic Automata over Monotonic Algebras

🤖LLM Academic

Complexity and Algorithms for Unary Translocation Distance

⚛️Quantum Computing Academic

DBHN-Net: Dual-Branch Hybrid Neural Network For Low-Complexity Monaural Speech Enhancement

🤖LLM Academic

Learning to Strategically Acquire Resources in Competition

🧠AI Models Academic

ATT-CR: Adaptive Triangular Transformer for Cloud Removal

🤖AI Academic

Log in to enable infinite scrolling