English
Related papers

Related papers: An Implementation of Nested Pattern Matching in In…

200 papers

Term pattern matching is the problem of finding all pattern matches in a subject term, given a set of patterns. Finding efficient algorithms for this problem is an important direction for research [19]. We present a new set automaton…

Formal Languages and Automata Theory · Computer Science 2021-06-30 Rick Erkens , Jan Friso Groote

The article considers systems of interacting particles on networks with adaptively coupled dynamics. Such processes appear frequently in natural processes and applications. Relying on the notion of graph convergence, we prove that for large…

Dynamical Systems · Mathematics 2026-05-20 Sebastian Throm

Since data is often stored in different sources, it needs to be integrated to gather a global view that is required in order to create value and derive knowledge from it. A critical step in data integration is schema matching which aims to…

Databases · Computer Science 2022-03-10 Benjamin Hättasch , Michael Truong-Ngoc , Andreas Schmidt , Carsten Binnig

Matching markets face increasing needs to learn the matching qualities between demand and supply for effective design of matching policies. In practice, the matching rewards are high-dimensional due to the growing diversity of participants.…

Machine Learning · Statistics 2026-01-13 Zhiyuan Tang , Wanning Chen , Kan Xu

A family of recent successful approaches to few-shot learning relies on learning an embedding space in which predictions are made by computing similarities between examples. This corresponds to combining information between support and…

Machine Learning · Computer Science 2018-12-04 Hugo Prol , Vincent Dumoulin , Luis Herranz

Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always followed by another action before a given deadline". This…

Systems and Control · Computer Science 2019-04-08 Étienne André , Ichiro Hasuo , Masaki Waga

In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent components, in order to reduce the effort of creating a natural…

Computation and Language · Computer Science 2007-05-23 Stephen Chong , Riccardo Pucella

Graphs provide a natural way to represent data by encoding information about objects and the relationships between them. With the ever-increasing amount of data collected and generated, locating specific patterns of relationships between…

Data Structures and Algorithms · Computer Science 2026-04-28 Tatyana Benko , Rebecca Jones , Lucas Tate

Our goal is to build systems which write code automatically from the kinds of specifications humans can most easily provide, such as examples and natural language instruction. The key idea of this work is that a flexible combination of…

Artificial Intelligence · Computer Science 2019-06-06 Maxwell Nye , Luke Hewitt , Joshua Tenenbaum , Armando Solar-Lezama

Association Rule Mining is a machine learning method for discovering the interesting relations between the attributes in a huge transaction database. Typically, algorithms for Association Rule Mining generate a huge number of association…

Neural and Evolutionary Computing · Computer Science 2021-04-19 Iztok Fister , Iztok Fister

We investigate ways to support interactive mining sessions, in the setting of association rule mining. In such sessions, users specify conditions (queries) on the associations to be generated. Our approach is a combination of the…

Databases · Computer Science 2007-05-23 Bart Goethals , Jan Van den Bussche

When a model makes a consequential decision, e.g., denying someone a loan, it needs to additionally generate actionable, realistic feedback on what the person can do to favorably change the decision. We cast this problem through the lens of…

Artificial Intelligence · Computer Science 2022-06-22 Goutham Ramakrishnan , Yun Chan Lee , Aws Albarghouthi

Planning for ad hoc teamwork is challenging because it involves agents collaborating without any prior coordination or communication. The focus is on principled methods for a single agent to cooperate with others. This motivates…

Multiagent Systems · Computer Science 2014-09-02 Muthukumaran Chandrasekaran , Prashant Doshi , Yifeng Zeng , Yingke Chen

In this paper, we present a new kind of learning implementation to recognize the patterns using the concept of Mirroring Neural Network (MNN) which can extract information from distinct sensory input patterns and perform pattern recognition…

Artificial Intelligence · Computer Science 2008-12-16 Dasika Ratna Deepthi , K. Eswaran

In many networks, including networks of protein-protein interactions, interdisciplinary collaboration networks, and semantic networks, connections are established between nodes with complementary rather than similar properties. While…

Physics and Society · Physics 2023-03-08 Gabriel Budel , Maksim Kitsak

We propose a novel model-based approach for constructing optimal designs with complex blocking structures and network effects, for application in agricultural field experiments. The potential interference among treatments applied to…

Methodology · Statistics 2021-08-25 Vasiliki Koutra , Steven G. Gilmour , Ben M. Parker , Andrew Mead

Nested space-filling designs are nested designs with attractive low-dimensional stratification. Such designs are gaining popularity in statistics, applied mathematics and engineering. Their applications include multi-fidelity computer…

Methodology · Statistics 2014-08-29 Fasheng Sun , Min-Qian Liu , Peter Z. G. Qian

Recently, there have been increasing demands to construct compact deep architectures to remove unnecessary redundancy and to improve the inference speed. While many recent works focus on reducing the redundancy by eliminating unneeded…

Computer Vision and Pattern Recognition · Computer Science 2018-03-28 Eunwoo Kim , Chanho Ahn , Songhwai Oh

Many applications rely on time-intensive matrix operations, such as factorization, which can be sped up significantly for large sparse matrices by interpreting the matrix as a sparse graph and computing a node ordering that minimizes the…

Data Structures and Algorithms · Computer Science 2024-04-25 Lara Ost , Christian Schulz , Darren Strash

Cache coherence protocols based on self-invalidation and self-downgrade have recently seen increased popularity due to their simplicity, potential performance efficiency, and low energy consumption. However, such protocols result in memory…

Logic in Computer Science · Computer Science 2023-06-22 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Stefanos Kaxiras , Carl Leonardsson , Alberto Ros , Yunyun Zhu