会员服务
信息检索杂志（IR）为信息检索的广泛领域中的理论、算法分析和实验的发布提供了一个国际论坛。感兴趣的主题包括对应用程序（例如Web，社交和流媒体，推荐系统和文本档案）的搜索、索引、分析和评估。这包括对搜索中人为因素的研究、桥接人工智能和信息检索以及特定领域的搜索应用程序。 官网地址：https://dblp.uni-trier.de/db/journals/ir/
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
Arxiv
0+阅读 · 6月22日
Multi-Vector Embeddings are Provably More Expressive than Single Vector Embeddings
Arxiv
0+阅读 · 6月22日
Exploring the relationship between human-centric AI and firm idiosyncratic risks
Arxiv
0+阅读 · 6月23日
A comparative study on power delivery aspects of compute-in/near-memory approaches using DRAM
Arxiv
0+阅读 · 6月20日
Novelty-Aware Agentic Retrieval: Comparing Research Contributions Through Structured Multi-Step Reasoning
Arxiv
0+阅读 · 6月20日
VASTO: Simultaneous recovery of vascular geometry and blood flow via differentiable topology optimization
Arxiv
0+阅读 · 6月18日
ESBMC-GraphPLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
Arxiv
0+阅读 · 6月18日
Spiking Pyramid Wavelet Transformation for High-efficient and Low-energy Image Restoration
Arxiv
0+阅读 · 6月17日
Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
Arxiv
0+阅读 · 6月17日
Understanding and Debugging Failures in N-Gram-Based Generative Retrieval
Arxiv
0+阅读 · 6月16日
FusionRS: A Large-Scale RGB-Infrared Remote Sensing Dataset for Dual-Modal Vision-Language Foundation Models
Arxiv
0+阅读 · 6月15日
Explicit Context-Driven Neural Acoustic Modeling for High-Fidelity RIR Generation
Arxiv
0+阅读 · 6月16日
HRIR-Former: Grid-Free Time-Domain Reconstruction of Head-Related Impulse Responses with a Spatially Encoded Transformer
Arxiv
0+阅读 · 6月14日
LLM Translation of Compiler Intermediate Representation
Arxiv
0+阅读 · 5月7日
From Tokens to Concepts: Leveraging SAE for SPLADE
Arxiv
0+阅读 · 5月31日
参考链接
微信扫码咨询专知VIP会员
Top