English
Related papers

Related papers: An Encoding of Interaction Nets in OCaml

200 papers

Natural language sentence matching is the task of comparing two sentences and identifying the relationship between them.It has a wide range of applications in natural language processing tasks such as reading comprehension, question and…

Computation and Language · Computer Science 2022-03-22 Kexin Jiang , Yahui Zhao , Rongyi Cui , Zhenguo Zhang

Quantum networks are composed of nodes which can send and receive quantum states by exchanging photons. Their goal is to facilitate quantum communication between any nodes, something which can be used to send secret messages in a secure…

Quantum Physics · Physics 2015-06-26 Antonio Acin , J. Ignacio Cirac , Maciej Lewenstein

Information flows by routes inside the network via mechanisms implemented in the model. These routes can be represented as graphs where nodes correspond to token representations and edges to operations inside the network. We automatically…

Computation and Language · Computer Science 2024-04-18 Javier Ferrando , Elena Voita

Large language models (LLMs) have recently shown strong potential in modeling relational structures. However, existing approaches remain fundamentally graph-centric: they focus on processing pairwise graph structures into tokens that LLMs…

Computation and Language · Computer Science 2026-05-22 Mengqi Lei , Guohuan Xie , Shihui Ying , Shaoyi Du , Jun-Hai Yong , Siqi Li , Yue Gao

The aim of this paper is to provide mathematical foundations of a graph transformation language, called UnCAL, using categorical semantics of type theory and fixed points. About twenty years ago, Buneman et al. developed a graph database…

Logic in Computer Science · Computer Science 2016-09-13 Makoto Hamana , Kazutaka Matsuda , Kazuyuki Asada

Neural networks for computer vision extract uninterpretable features despite achieving high accuracy on benchmarks. In contrast, humans can explain their predictions using succinct and intuitive descriptions. To incorporate explainability…

Computer Vision and Pattern Recognition · Computer Science 2023-07-04 Khalid Saifullah , Yuxin Wen , Jonas Geiping , Micah Goldblum , Tom Goldstein

The CLIP network measures the similarity between natural text and images; in this work, we investigate the entanglement of the representation of word images and natural images in its image encoder. First, we find that the image encoder has…

Computer Vision and Pattern Recognition · Computer Science 2022-06-17 Joanna Materzynska , Antonio Torralba , David Bau

We study the problem of inferring the structure of a communication network based only on network measurements made from a set of hosts situated at the network periphery. Our novel approach called "OCCAM" is based on the principle of occam's…

Networking and Internet Architecture · Computer Science 2019-06-04 Anirudh Sabnis , Ramesh K. Sitaraman , Donald Towsley

The emergence of large-scale pre-trained language models has revolutionized various AI research domains. Transformers-based Large Language Models (LLMs) have gradually replaced CNNs and RNNs to unify fields of computer vision and natural…

Computation and Language · Computer Science 2024-02-07 Ruosong Ye , Caiqi Zhang , Runhui Wang , Shuyuan Xu , Yongfeng Zhang

Lexical semantic change has primarily been investigated with observational and experimental methods; however, observational methods (corpus analysis, distributional semantic modeling) cannot get at causal mechanisms, and experimental…

Computation and Language · Computer Science 2025-12-03 Yuqing Zhang , Ecesu Ürker , Tessa Verhoef , Gemma Boleda , Arianna Bisazza

A theory is developed which uses "networks" (directed acyclic graphs with some extra structure) as a formalism for expressions in multilinear algebra. It is shown that this formalism is valid for arbitrary PROPs (short for 'PROducts and…

Rings and Algebras · Mathematics 2012-04-12 Lars Hellström

Examining the effect of different encoding techniques on entity and context embeddings, the goal of this work is to challenge commonly used Ordinal encoding for tabular learning. Applying different preprocessing methods and network…

Machine Learning · Computer Science 2024-03-29 Fredy Reusser

Quantum network is a set of nodes connected with channels, through which the nodes communicate photons and classical information. Classical structural complexity of a quantum network may be defined through its physical structure, i.e.…

Quantum Physics · Physics 2016-06-20 Michael Siomau

We propose a new framework for the recognition of online handwritten graphics. Three main features of the framework are its ability to treat symbol and structural level information in an integrated way, its flexibility with respect to…

Computer Vision and Pattern Recognition · Computer Science 2017-09-20 Frank Julca-Aguilar , Harold Mouchère , Christian Viard-Gaudin , Nina S. T. Hirata

In this paper we propose a new framework to categorize social interactions in egocentric videos, we named InteractionGCN. Our method extracts patterns of relational and non-relational cues at the frame level and uses them to build a…

Computer Vision and Pattern Recognition · Computer Science 2021-06-09 Simone Felicioni , Mariella Dimiccoli

Temporal graph link prediction aims to predict future interactions between nodes in a graph based on their historical interactions, which are encoded in node embeddings. We observe that heterogeneity naturally appears in temporal…

Machine Learning · Computer Science 2025-10-28 Zhongyi Yu , Jianqiu Wu , Zhenghao Wu , Shuhan Zhong , Weifeng Su , Chul-Ho Lee , Weipeng Zhuo

We show that viewing graphs as sets of node features and incorporating structural and positional information into a transformer architecture is able to outperform representations learned with classical graph neural networks (GNNs). Our…

Machine Learning · Computer Science 2021-06-11 Grégoire Mialon , Dexiong Chen , Margot Selosse , Julien Mairal

Design patterns are distilled from many real systems to catalog common programming practice. However, some object-oriented design patterns are distorted or overly complicated because of the lack of supporting programming language constructs…

Programming Languages · Computer Science 2019-06-03 Gerald Baumgartner , Konstantin Läufer , Vincent F. Russo

We introduce the computational problem of graphlet transform of a sparse large graph. Graphlets are fundamental topology elements of all graphs/networks. They can be used as coding elements to encode graph-topological information at…

Social and Information Networks · Computer Science 2020-09-02 Dimitris Floros , Nikos Pitsianis , Xiaobai Sun

Predictive coding is a promising theoretical framework in neuroscience for understanding information transmission and perception. It posits that the brain perceives the external world through internal models and updates these models under…

Neurons and Cognition · Quantitative Biology 2022-09-07 Zhen-Ye Huang , Xin-Yi Fan , Jianwen Zhou , Hai-Jun Zhou