会员服务
Beginner's All－purpose Symbolic Instruction Code（初学者通用的符号指令代码），刚开始被作者写做 BASIC，后来被微软广泛地叫做 Basic 。
DWFF-Net: A Multi-Scale Farmland System Habitat Identification Method with Adaptive Dynamic Weight Feature Fusion
Arxiv
0+阅读 · 9月2日
Accuracy of Mathematical Functions in Julia
Arxiv
0+阅读 · 8月22日
Fuzzy Pattern Matching in Ordered Structures
Arxiv
0+阅读 · 8月31日
MELON: A Large-Scale Dataset for Multi-Event Text-to-Long-Video Retrieval
Arxiv
0+阅读 · 8月31日
From Source Reconstruction to Predictive State Preservation: An Information-Theoretic Framework for AI-Native Communication
Arxiv
0+阅读 · 9月1日
SPADE: SPaT Attack Detection from the Connected Vehicle's Perspective
Arxiv
0+阅读 · 9月2日
A Human-AI Theorem Connecting Spontaneous and Field-Induced Mechanisms of Collective Behavior in One Dimension
Arxiv
0+阅读 · 8月31日
ViTAL-X: Video-Text Alignment with Cross-Modal Temporal Edits
Arxiv
0+阅读 · 9月1日
MRMAD: A Multi-Round Multi-Audio Benchmark for Evaluating Acoustic Degradation Perception in Large Audio-Language Models
Arxiv
0+阅读 · 8月31日
Context Staircase: Signature-Aligned Dynamics of Token Embeddings under Small Initialization
Arxiv
0+阅读 · 8月31日
VeriTS: Verifiable Model-Enhanced Time-Series Queries on Blockchain Systems
Arxiv
0+阅读 · 8月28日
Self-extensional logics of formal inconsistency: Decidability and limits for paraconsistency
Arxiv
0+阅读 · 8月28日
Seq2Synth: Benchmarking Temporal Fidelity in Synthetic Sequential Tabular Data
Arxiv
0+阅读 · 8月31日
Formalizing Extended Complex Numbers, Mobius Transformations, and Cross Ratio in Lean 4
Arxiv
0+阅读 · 8月18日
Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB
Arxiv
0+阅读 · 8月27日
参考链接
微信扫码咨询专知VIP会员
Top