中文
相关论文

相关论文: Finding the Transitive Closure of Functional Depen…

200 篇论文

Transition-based parsers implemented with Pointer Networks have become the new state of the art in dependency parsing, excelling in producing labelled syntactic trees and outperforming graph-based models in this task. In order to further…

计算与语言 · 计算机科学 2020-05-29 Daniel Fernández-González , Carlos Gómez-Rodríguez

Segmentation, a new approach based on successive edge contraction is introduced for extract method refactoring. It targets identification of distinct functionalities implemented within a method. Segmentation builds upon data and control…

软件工程 · 计算机科学 2019-08-14 Omkarendra Tiwari , Rushikesh K. Joshi

In this paper, we informally introduce dynamic mind-maps that represent a new approach on the basis of a dynamic construction of connectionist structures during the processing of a data stream. This allows the representation and processing…

神经与进化计算 · 计算机科学 2008-12-18 Christoph Schommer

In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and control dependencies that arise in an execution. During a…

软件工程 · 计算机科学 2022-11-10 Ivan Postolski , Victor Braberman , Diego Garbervetsky , Sebastian Uchitel

One must add arrows which are forced by transitivity to form the transitive closure of a directed graph. We introduce a construction of a transitive directed graph which is formed by adding vertices instead of arrows and which preserves the…

组合数学 · 数学 2012-01-20 Kenneth L. Price

Skip graphs are a novel distributed data structure, based on skip lists, that provide the full functionality of a balanced tree in a distributed system where resources are stored in separate nodes that may fail at any time. They are…

数据结构与算法 · 计算机科学 2007-05-23 James Aspnes , Gauri Shah

Relational graph learning models relational databases as graphs and has demonstrated superior performance on a wide range of relational predictive tasks. However, existing methods struggle to capture long-range dependencies due to…

机器学习 · 计算机科学 2026-05-18 Zezhong Ding , Jin Li , Xugang Wang , Xike Xie

Classical path search assumes complete graphs and scalar optimization metrics, yet real infrastructure networks are incomplete and require multi-dimensional evaluation. We introduce the concept of traversal: a generalization of paths that…

网络与互联网体系结构 · 计算机科学 2026-02-24 Nicolas Tacheny

We present a new characterization of termination of general logic programs. Most existing termination analysis approaches rely on some static information about the structure of the source code of a logic program, such as modes/types,…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Yi-Dong Shen , Jia-Huai You , Li-Yan Yuan , Samuel S. P. Shen , Qiang Yang

Enabling robots to perform complex dynamic tasks such as picking up an object in one sweeping motion or pushing off a wall to quickly turn a corner is a challenging problem. The dynamic interactions implicit in these tasks are critical…

机器人学 · 计算机科学 2022-10-03 Saumya Saxena , Oliver Kroemer

This paper addresses questions regarding controllability for `generic parameter' dynamical systems, i.e. the question whether a dynamical system is `structurally controllable'. Unlike conventional methods that deal with structural…

最优化与控制 · 数学 2010-06-29 Madhu N. Belur , Sivaramakrishnan Sivasubramanian

Unstructured enterprise data such as reports, manuals and guidelines often contain tables. The traditional way of integrating data from these tables is through a two-step process of table detection/extraction and mapping the table layouts…

数据库 · 计算机科学 2019-11-22 Mustafa Canim , Cristina Cornelio , Arun Iyengar , Ryan Musa , Mariano Rodrigez Muro

We investigate the structure of connected graphs, not necessarily locally finite, with infinitely many ends. On the one hand we study end-transitive such graphs and on the other hand we study such graphs with the property that the…

组合数学 · 数学 2010-03-19 Matthias Hamann

Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in…

计算机科学中的逻辑 · 计算机科学 2011-08-03 Andrei Dorman , Tobias Heindel

Graph processing is used extensively in areas from social networking mining to web indexing. We demonstrate that the performance and dependability of such applications critically hinges on the graph data structure used, because a fixed,…

编程语言 · 计算机科学 2014-12-30 Amlan Kusum , Iulian Neamtiu , Rajiv Gupta

In recent years, long short-term memory (LSTM) has been successfully used to model sequential data of variable length. However, LSTM can still experience difficulty in capturing long-term dependencies. In this work, we tried to alleviate…

计算与语言 · 计算机科学 2018-11-12 Tao Gui , Qi Zhang , Lujun Zhao , Yaosong Lin , Minlong Peng , Jingjing Gong , Xuanjing Huang

The paradigms of transformational planning, case-based planning, and plan debugging all involve a process known as plan adaptation - modifying or repairing an old plan so it solves a new problem. In this paper we provide a…

人工智能 · 计算机科学 2014-11-17 S. Hanks , D. S. Weld

Functional dependence graph (FDG) is an important class of directed graph that captures the dominance relationship among a set of variables. FDG is frequently used in calculating network coding capacity bounds. However, the order of FDG is…

信息论 · 计算机科学 2015-03-20 Xiaoli Xu , Satyajit Thakor , Yong Liang Guan

Knowledge graphs are a versatile framework to encode richly structured data relationships, but it can be challenging to combine these graphs with unstructured data. Methods for retrofitting pre-trained entity representations to the…

机器学习 · 统计学 2018-06-19 Benjamin J. Lengerich , Andrew L. Maas , Christopher Potts

Functional dependencies restrict the potential interactions among variables connected in a probabilistic network. This restriction can be exploited in qualitative probabilistic reasoning by introducing deterministic variables and modifying…

人工智能 · 计算机科学 2013-04-05 Michael P. Wellman