English
Related papers

Related papers: A Unified Framework for Integer Programming Formul…

200 papers

Recently, several clustering algorithms have been used to solve variety of problems from different discipline. This dissertation aims to address different challenging tasks in computer vision and pattern recognition by casting the problems…

Computer Vision and Pattern Recognition · Computer Science 2018-02-08 Yonatan Tariku Tesfaye

This paper presents a novel approach to automatically solving arithmetic word problems. This is the first algorithmic approach that can handle arithmetic problems with multiple steps and operations, without depending on additional…

Computation and Language · Computer Science 2016-08-23 Subhro Roy , Dan Roth

Graph Generation is a recently introduced enhanced Column Generation algorithm for solving expanded Linear Programming relaxations of mixed integer linear programs without weakening the expanded relaxations which characterize these methods.…

Optimization and Control · Mathematics 2022-02-04 Julian Yarkony , Amelia Regan

We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph query algebra where some operations over graphs and sets of…

Logic in Computer Science · Computer Science 2022-02-22 Dominique Duval , Rachid Echahed , Frederic Prost

The Sparse Approximation problem asks to find a solution $x$ such that $||y - Hx|| < \alpha$, for a given norm $||\cdot||$, minimizing the size of the support $||x||_0 := \#\{j \ |\ x_j \neq 0 \}$. We present valid inequalities for Mixed…

Discrete Mathematics · Computer Science 2020-09-15 Diego Delle Donne , Matthieu Kowalski , Leo Liberti

Parameterized algorithms are a very useful tool for dealing with NP-hard problems on graphs. Yet, to properly utilize parameterized algorithms it is necessary to choose the right parameter based on the type of problem and properties of the…

Data Structures and Algorithms · Computer Science 2012-01-18 Robert Ganian

Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made…

Discrete Mathematics · Computer Science 2022-08-29 Jakob L. Andersen , Rolf Fagerberg , Juri Kolčák , Christophe V. F. P. Laurent , Daniel Merkle , Nikolai Nøjgaard

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,…

Machine Learning · Computer Science 2025-09-10 Lachlan Simpson , Kyle Millar , Adriel Cheng , Cheng-Chew Lim , Hong Gunn Chew

Measuring similarity between IP addresses is an important task in the daily operations of any enterprise network. Applications that depend on an IP similarity measure include measuring correlation between security alerts, building baselines…

Machine Learning · Computer Science 2020-10-14 Hazem M. Soliman , Geoff Salmon , Dusan Sovilij , Mohan Rao

We present a graph processing benchmark suite with the goal of helping to standardize graph processing evaluations. Fewer differences between graph processing evaluations will make it easier to compare different research efforts and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-18 Scott Beamer , Krste Asanović , David Patterson

The vertex coloring problem asks for the minimum number of colors that can be assigned to the vertices of a given graph such that for all vertices v the color of v is different from the color of any of its neighbors. The problem is NP-hard.…

Computational Geometry · Computer Science 2017-07-12 Adalat Jabrayilov , Petra Mutzel

Representing patterns as labeled graphs is becoming increasingly common in the broad field of computational intelligence. Accordingly, a wide repertoire of pattern recognition tools, such as classifiers and knowledge discovery procedures,…

Computer Vision and Pattern Recognition · Computer Science 2017-05-11 Lorenzo Livi

We study integer linear programs (ILP) of the form $\min\{c^\top x\ \vert\ Ax=b,l\le x\le u,x\in\mathbb Z^n\}$ and analyze their parameterized complexity with respect to their distance to the generalized matching problem, following the…

Computational Complexity · Computer Science 2025-10-20 Alexandra Lassota , Koen Ligthart

Large Language Models (LLMs) have demonstrated remarkable capabilities in modeling sequential textual data and generalizing across diverse tasks. However, adapting LLMs to effectively handle structural data, such as knowledge graphs or web…

Computation and Language · Computer Science 2025-11-12 Jiarui Feng , Donghong Cai , Yixin Chen , Muhan Zhang

In many machine learning tasks, models are trained to predict structure data such as graphs. For example, in natural language processing, it is very common to parse texts into dependency trees or abstract meaning representation (AMR)…

Computation and Language · Computer Science 2022-01-25 Hoang Thanh Lam , Gabriele Picco , Yufang Hou , Young-Suk Lee , Lam M. Nguyen , Dzung T. Phan , Vanessa López , Ramon Fernandez Astudillo

Issues of inequity in U.S. high schools' course scheduling did not previously exist. However, in recent years, with the increase in student population and course variety, students perceive that the course scheduling method is unfair.…

Computer Science and Game Theory · Computer Science 2024-08-23 Mitsuka Kiyohara , Masakazu Ishihata

Graph theory provides a convenient framework for modeling and solving structured optimization problems. Under this framework, the modeler can arrange/assemble the components of an optimization model (variables, constraints, objective…

Optimization and Control · Mathematics 2026-05-11 David L Cole , Sungho Shin , Victor Zavala

Matrix Graph Grammars (MGG) is a novel approach to the study of graph dynamics ([15]). In the present contribution we look at MGG as a formal grammar and as a model of computation, which is a necessary step in the more ambitious program of…

Discrete Mathematics · Computer Science 2009-11-16 Pedro Pablo Perez Velasco

Deep Learning has made a great progress for these years. However, it is still difficult to master the implement of various models because different researchers may release their code based on different frameworks or interfaces. In this…

Software Engineering · Computer Science 2017-07-28 Ting Pan

Implementing graph algorithms efficiently in a rule-based language is challenging because graph pattern matching is expensive. In this paper, we present a number of linear-time implementations of graph algorithms in GP 2, an experimental…

Programming Languages · Computer Science 2021-01-06 Graham Campbell , Brian Courtehoute , Detlef Plump