中文
相关论文

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

200 篇论文

Information Retriever (IR) aims to find the relevant documents (e.g. snippets, passages, and articles) to a given query at large scale. IR plays an important role in many tasks such as open domain question answering and dialogue systems,…

计算与语言 · 计算机科学 2022-06-01 Man Luo

Integrated Gradients (IG) is a common explainability technique to address the black-box problem of neural networks. Integrated gradients assumes continuous data. Graphs are discrete structures making IG ill-suited to graphs. In this work,…

机器学习 · 计算机科学 2025-09-10 Lachlan Simpson , Kyle Millar , Adriel Cheng , Cheng-Chew Lim , Hong Gunn Chew

The integration of graphs with Goal-conditioned Hierarchical Reinforcement Learning (GCHRL) has recently gained attention, as intermediate goals (subgoals) can be effectively sampled from graphs that naturally represent the overall task…

机器学习 · 计算机科学 2025-11-17 Shuyuan Zhang , Zihan Wang , Xiao-Wen Chang , Doina Precup

This paper provides a review of the NTIRE 2026 challenge on mobile real-world image super-resolution, highlighting the proposed solutions and the resulting outcomes. The challenge aims to recover high-resolution (HR) images from…

This paper describes the COINS (COnstraint-based INteractive Solving) system: a conflict-based constraint solver. It helps understanding inconsistencies, simulates constraint additions and/or retractions (without any propagation),…

软件工程 · 计算机科学 2007-05-23 Samir Ouis , Narendra Jussien , Patrice Boizumault

This paper reviews the NTIRE 2026 challenge on efficient single-image super-resolution with a focus on the proposed solutions and results. The aim of this challenge is to devise a network that reduces one or several aspects, such as…

This paper reviews the NTIRE 2024 RAW Image Super-Resolution Challenge, highlighting the proposed solutions and results. New methods for RAW Super-Resolution could be essential in modern Image Signal Processing (ISP) pipelines, however,…

In this paper, we observe and address the challenges of the coordination recognition task. Most existing methods rely on syntactic parsers to identify the coordinators in a sentence and detect the coordination boundaries. However,…

计算与语言 · 计算机科学 2023-12-01 Qing Wang , Haojie Jia , Wenfei Song , Qi Li

Graph neural networks have emerged as a leading architecture for many graph-level tasks, such as graph classification and graph generation. As an essential component of the architecture, graph pooling is indispensable for obtaining a…

机器学习 · 计算机科学 2023-06-23 Chuang Liu , Yibing Zhan , Jia Wu , Chang Li , Bo Du , Wenbin Hu , Tongliang Liu , Dacheng Tao

We report the results of DialogSum Challenge, the shared task on summarizing real-life scenario dialogues at INLG 2022. Four teams participate in this shared task and three submit their system reports, exploring different methods to improve…

计算与语言 · 计算机科学 2022-09-07 Yulong Chen , Naihao Deng , Yang Liu , Yue Zhang

Solving combinatorial optimization (CO) on graphs is among the fundamental tasks for upper-stream applications in data mining, machine learning and operations research. Despite the inherent NP-hard challenge for CO, heuristics,…

最优化与控制 · 数学 2022-06-07 Han Lu , Zenan Li , Runzhong Wang , Qibing Ren , Junchi Yan , Xiaokang Yang

This paper is devoted to overview of the authors works for numerical solution of singular integral equations (SIE), polysingular integral equations and multi-dimensional singular integral equations of the second kind. The authors…

数值分析 · 数学 2016-11-01 I. V. Boykov

Large multimodal models (LMMs) have exhibited proficiencies across many visual tasks. Although numerous well-known benchmarks exist to evaluate model performance, they increasingly have insufficient headroom. As such, there is a pressing…

计算机视觉与模式识别 · 计算机科学 2025-10-17 Jonathan Roberts , Kai Han , Samuel Albanie

Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and…

人工智能 · 计算机科学 2011-10-31 Ian P. Gent , Chris Jefferson , Lars Kotthoff , Ian Miguel

This paper is simply a collection of process diagrams for further use and reference. These are diagrams about different approaches to research.

人机交互 · 计算机科学 2022-09-27 Sheelagh Carpendale

We present, to the best of the authors' knowledge, all known results for the (planar) crossing numbers of specific graphs and graph families. The results are separated into various categories; specifically, results for general graph…

组合数学 · 数学 2021-12-09 Kieran Clancy , Michael Haythorpe , Alex Newcombe

Knowledge graph models world knowledge as concepts, entities, and the relationships between them, which has been widely used in many real-world tasks. CCKS 2019 held an evaluation track with 6 tasks and attracted more than 1,600 teams. In…

Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed…

人机交互 · 计算机科学 2017-01-31 Sylvain Conchon , Mohamed Iguernlala , Alain Mebsout

Many real-world datasets can be naturally represented as graphs, spanning a wide range of domains. However, the increasing complexity and size of graph datasets present significant challenges for analysis and computation. In response, graph…

社会与信息网络 · 计算机科学 2024-07-02 Mohammad Hashemi , Shengbo Gong , Juntong Ni , Wenqi Fan , B. Aditya Prakash , Wei Jin

The electromagnetic behavior of plasmonic structures can be predicted after discretizing and solving a linear system of equations, derived from a continuous surface integral equation (SIE) and the appropriate boundary conditions, using a…

计算物理 · 物理学 2015-10-20 Hipolito Gomez-Sousa , Oscar Rubiños-Lopez , Jose Angel Martinez-Lorenzo