中文
相关论文

相关论文: Core Challenge 2022: Solver and Graph Descriptions

200 篇论文

This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.

编程语言 · 计算机科学 2023-10-30 Takehide Soh , Tomoya Tanjo , Yoshio Okamoto , Takehiro Ito

This is a survey of the exciting recent progress made in understanding the complexity of distributed subgraph finding problems. It overviews the results and techniques for assorted variants of subgraph finding problems in various models of…

数据结构与算法 · 计算机科学 2025-08-28 Keren Censor-Hillel

This paper presents the computational challenge on differential geometry and topology that happened within the ICLR 2021 workshop "Geometric and Topological Representation Learning". The competition asked participants to provide creative…

The ActivityNet Large Scale Activity Recognition Challenge 2017 Summary: results and challenge participants papers.

计算机视觉与模式识别 · 计算机科学 2017-10-24 Bernard Ghanem , Juan Carlos Niebles , Cees Snoek , Fabian Caba Heilbron , Humam Alwassel , Ranjay Khrisna , Victor Escorcia , Kenji Hata , Shyamal Buch

This document represents the proceedings of the 2025 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'25 (31st International Conference on Principles and Practice of Constraint Programming).

人工智能 · 计算机科学 2025-11-11 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

The rise of graph analytic systems has created a need for ways to measure and compare the capabilities of these systems. Graph analytics present unique scalability difficulties. The machine learning, high performance computing, and visual…

CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in…

计算机科学中的逻辑 · 计算机科学 2022-11-23 Emanuele De Angelis , Hari Govind V K

The 2021 Image Similarity Challenge introduced a dataset to serve as a new benchmark to evaluate recent image copy detection methods. There were 200 participants to the competition. This paper presents a quantitative and qualitative…

Recent studies have explored graph-based approaches to retrieval-augmented generation, leveraging structured or semi-structured information -- such as entities and their relations extracted from documents -- to enhance retrieval. However,…

计算与语言 · 计算机科学 2025-07-24 Zhili Shen , Chenxin Diao , Pascual Merita , Pavlos Vougiouklis , Jeff Z. Pan

This document represents the proceedings of the 2024 XCSP3 Competition. The results of this competition of constraint solvers were presented at CP'24 (30th International Conference on Principles and Practice of Constraint Programming).

人工智能 · 计算机科学 2024-12-03 Gilles Audemard , Christophe Lecoutre , Emmanuel Lonca

This paper presents the computational challenge on differential geometry and topology that was hosted within the ICLR 2022 workshop ``Geometric and Topological Representation Learning". The competition asked participants to provide…

This paper reports on the details of the International Competition on Graph Counting Algorithms (ICGCA) held in 2023. The graph counting problem is to count the subgraphs satisfying specified constraints on a given graph. The problem…

数据结构与算法 · 计算机科学 2023-09-15 Takeru Inoue , Norihito Yasuda , Hidetomo Nabeshima , Masaaki Nishino , Shuhei Denzumi , Shin-ichi Minato

Graph is a well known data structure to represent the associated relationships in a variety of applications, e.g., data science and machine learning. Despite a wealth of existing efforts on developing graph processing systems for improving…

分布式、并行与集群计算 · 计算机科学 2019-02-28 Chuangyi Gui , Long Zheng , Bingsheng He , Cheng Liu , Xinyu Chen , Xiaofei Liao , Hai Jin

This document is a brief summary of progress that has been made on the problems posed in the document "Twenty Open Problems in Enumeration of Matchings" (also available from this server as math.CO/9801060). NOTE: This article has now been…

组合数学 · 数学 2007-05-23 James Propp

This tutorial review provides a guiding reference to researchers who want to have an overview of the large body of literature about graph spanners. It reviews the current literature covering various research streams about graph spanners,…

We describe the winning submission to the CRAC 2022 Shared Task on Multilingual Coreference Resolution. Our system first solves mention detection and then coreference linking on the retrieved spans with an antecedent-maximization approach,…

计算与语言 · 计算机科学 2024-10-17 Milan Straka , Jana Straková

This document is an exposition of an assortment of open problems arising from the exact enumeration of (perfect) matchings of finite graphs. Roughly half have been solved at the time of this writing; see the document "Twenty Open Problems…

组合数学 · 数学 2007-05-23 James Propp

The Pre-training for Video Captioning Challenge 2020 Summary: results and challenge participants' technical reports.

计算机视觉与模式识别 · 计算机科学 2020-08-04 Yingwei Pan , Jun Xu , Yehao Li , Ting Yao , Tao Mei

The SoccerNet 2022 challenges were the second annual video understanding challenges organized by the SoccerNet team. In 2022, the challenges were composed of 6 vision-based tasks: (1) action spotting, focusing on retrieving action…

In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us to represent constraint satisfaction/optimization problems. The interest of XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and COP) and…

人工智能 · 计算机科学 2024-08-30 Frédéric Boussemart , Christophe Lecoutre , Gilles Audemard , Cédric Piette
‹ 上一页 1 2 3 10 下一页 ›