会员服务
信息检索杂志（IR）为信息检索的广泛领域中的理论、算法分析和实验的发布提供了一个国际论坛。感兴趣的主题包括对应用程序（例如Web，社交和流媒体，推荐系统和文本档案）的搜索、索引、分析和评估。这包括对搜索中人为因素的研究、桥接人工智能和信息检索以及特定领域的搜索应用程序。 官网地址：https://dblp.uni-trier.de/db/journals/ir/
Type-Directed, Secure-by-Construction Enclave Partitioning for LLVM
Arxiv
0+阅读 · 9月2日
SABER-Math: Automated Benchmark for Information Retrieval Evaluation in Mathematics
Arxiv
0+阅读 · 9月2日
RGB-to-IR image translation for infrared vehicle detection in unseen UAV domains
Arxiv
0+阅读 · 9月2日
MICE: Minimal Interaction Cross-Encoders for efficient Re-ranking
Arxiv
0+阅读 · 8月31日
Individual Rationality in Constrained Hedonic Games: Friends, Enemies, and Neutrals
Arxiv
0+阅读 · 8月30日
MULTI3IR: A Benchmark for Multi-perspective Multi-domain Multi-modal Information Retrieval
Arxiv
0+阅读 · 8月31日
Fast and Accurate Image Restoration and Generation with Rank Enhanced Linear Attention
Arxiv
0+阅读 · 8月29日
Modeling Ranking Properties with In-Context Learning
Arxiv
0+阅读 · 8月31日
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Arxiv
0+阅读 · 8月25日
JVLGS: Joint Vision-Language Gas Leak Segmentation
Arxiv
0+阅读 · 8月30日
Accurate Plate Reverb Parameter Estimation Using Two-Stage Evolutionary Search
Arxiv
0+阅读 · 8月28日
NormasTCU --- A Brazilian Portuguese IR Dataset and an Evaluation of LLM-as-a-Judge for Relevance Assessment
Arxiv
0+阅读 · 8月27日
CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution
Arxiv
0+阅读 · 8月12日
Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis
Arxiv
0+阅读 · 7月9日
Formally Verified Synthesizable Floating-Point Data Types in ARCH HDL
Arxiv
0+阅读 · 7月26日
参考链接
微信扫码咨询专知VIP会员
Top