中文
相关论文

相关论文: Translating between Horn Representations and their…

200 篇论文

Community detection in graphs is a problem that is likely to be relevant whenever network data appears, and consequently the problem has received much attention with many different methods and algorithms applied. However, many of these…

组合数学 · 数学 2025-05-16 Vilhelm Agdur

DNN-based cross-modal retrieval is a research hotspot to retrieve across different modalities as image and text, but existing methods often face the challenge of insufficient cross-modal training data. In single-modal scenario, similar…

多媒体 · 计算机科学 2017-06-27 Xin Huang , Yuxin Peng , Mingkuan Yuan

This tutorial overviews the state of the art in learning models over relational databases and makes the case for a first-principles approach that exploits recent developments in database research. The input to learning classification and…

数据库 · 计算机科学 2019-11-18 Maximilian Schleich , Dan Olteanu , Mahmoud Abo-Khamis , Hung Q. Ngo , XuanLong Nguyen

Hypergraphs, as a generalization of traditional graphs, naturally capture high-order relationships. In recent years, hypergraph neural networks (HNNs) have been widely used to capture complex high-order relationships. However, most existing…

机器学习 · 计算机科学 2025-11-25 Renchu Guan , Xuyang Li , Yachao Zhang , Wei Pang , Fausto Giunchiglia , Ximing Li , Yonghao Liu , Xiaoyue Feng

This paper tackles the problem of the existence of solutions for recursive systems of Horn clauses with second-order variables interpreted as integer relations, and harnessed by quantifier-free difference bounds arithmetic. We start by…

形式语言与自动机理论 · 计算机科学 2016-02-16 Radu Iosif

Transliteration is a task of translating named entities from a language to another, based on phonetic similarity. The task has embraced deep learning approaches in recent years, yet, most ignore the phonetic features of the involved…

计算与语言 · 计算机科学 2022-01-24 Shi Cheng , Zhuofei Ding , Songpeng Yan

The problem of determining the set of possible eigenvalues of 3 Hermitian matrices that sum up to zero is known as the Horn problem. The answer is a polyhedral cone, which, following Knutson and Tao, can be described as the projection of a…

组合数学 · 数学 2012-07-04 Anton Alekseev , Masha Podkopaeva , Andras Szenes

Computational models are quantitative representations of systems. By analyzing and comparing the outputs of such models, it is possible to gain a better understanding of the system itself. Though as the complexity of model outputs…

机器学习 · 计算机科学 2022-12-13 Colin G. Cess , Stacey D. Finley

We investigate the problem of extracting rules, expressed in Horn logic, from neural network models. Our work is based on the exact learning model, in which a learner interacts with a teacher (the neural network model) via queries in order…

机器学习 · 计算机科学 2022-04-04 Cosimo Persia , Ana Ozaki

Semantic matching is of central importance to many natural language tasks \cite{bordes2014semantic,RetrievalQA}. A successful matching algorithm needs to adequately model the internal structures of language objects and the interaction…

计算与语言 · 计算机科学 2015-03-12 Baotian Hu , Zhengdong Lu , Hang Li , Qingcai Chen

The distributed representations currently used are dense and uninterpretable, leading to interpretations that themselves are relative, overcomplete, and hard to interpret. We propose a method that transforms these word vectors into reduced…

计算与语言 · 计算机科学 2024-11-14 Biraj Silwal

Transfer learning is critical for efficient information transfer across multiple related learning problems. A simple, yet effective transfer learning approach utilizes deep neural networks trained on a large-scale task for feature…

声音 · 计算机科学 2021-06-23 Anurag Kumar , Yun Wang , Vamsi Krishna Ithapu , Christian Fuegen

In recent studies [1][13][12] Recurrent Neural Networks were used for generative processes and their surprising performance can be explained by their ability to create good predictions. In addition, data compression is also based on…

计算与语言 · 计算机科学 2017-05-03 Juan Andrés Laura , Gabriel Masi , Luis Argerich

Symbolic regression (SR) is the task of learning a model of data in the form of a mathematical expression. By their nature, SR models have the potential to be accurate and human-interpretable at the same time. Unfortunately, finding such…

神经与进化计算 · 计算机科学 2022-07-12 Marco Virgolin , Solon P. Pissis

Transformers underlie almost all state-of-the-art language models in computational linguistics, yet their cognitive adequacy as models of human sentence processing remains disputed. In this work, we use a surprisal-based linking mechanism…

计算与语言 · 计算机科学 2026-03-18 Titus von der Malsburg , Sebastian Padó

In this paper, we consider the problem of event classification with multi-variate time series data consisting of heterogeneous (continuous and categorical) variables. The complex temporal dependencies between the variables combined with…

机器学习 · 计算机科学 2016-12-06 Shengdong Zhang , Soheil Bahrampour , Naveen Ramakrishnan , Mohak Shah

We introduce the bilingual dual-coding theory as a model for bilingual mental representation. Based on this model, lexical selection neural networks are implemented for a connectionist transfer project in machine translation. This lexical…

cmp-lg · 计算机科学 2008-02-03 Ye-Yi Wang

That shared features between train and test data are required for generalisation in artificial neural networks has been a common assumption of both proponents and critics of these models. Here, we show that convolutional architectures avoid…

神经与进化计算 · 计算机科学 2021-07-15 Jeff Mitchell , Jeffrey S. Bowers

We tackle the problem of neural machine translation of mathematical formulae between ambiguous presentation languages and unambiguous content languages. Compared to neural machine translation on natural language, mathematical formulae have…

计算与语言 · 计算机科学 2023-05-29 Felix Petersen , Moritz Schubotz , Andre Greiner-Petter , Bela Gipp

Semantic Heterogeneity is conventionally understood as the existence of variance in the representation of a target reality when modelled, by independent parties, in different databases, schemas and/ or data. We argue that the mere encoding…

人工智能 · 计算机科学 2022-07-05 Fausto Giunchiglia , Mayukh Bagchi