English
Related papers

Related papers: A Novel Approach for Computing Dynamic Slices of A…

200 papers

Triangle listing is an important topic significant in many practical applications. Efficient algorithms exist for the task of triangle listing. Recent algorithms leverage an orientation framework, which can be thought of as mapping an…

Databases · Computer Science 2020-06-26 Michael Yu , Lu Qin , Ying Zhang , Wenjie Zhang , Xuemin Lin

Segmented models are widely used to describe non-stationary sequential data with discrete change points. Their estimation usually requires solving a mixed discrete-continuous optimization problem, where the segmentation is the discrete part…

Machine Learning · Computer Science 2021-01-19 Erik Scharwächter , Jonathan Lennartz , Emmanuel Müller

This paper considers the problem of estimating the structure of multiple related directed acyclic graph (DAG) models. Building on recent developments in exact estimation of DAGs using integer linear programming (ILP), we present an ILP…

Machine Learning · Statistics 2014-11-13 Chris J. Oates , Jim Q. Smith , Sach Mukherjee , James Cussens

Distributed optimization aims to leverage the local computation and communication capabilities of each agent to achieve a desired global objective. This paper addresses the distributed pose graph optimization (PGO) problem under non-convex…

Systems and Control · Electrical Eng. & Systems 2025-03-11 Zeinab Ebrahimi , Mohammad Deghat

When sum-of-squares (SOS) programs are recast as semidefinite programs (SDPs) using the standard monomial basis, the constraint matrices in the SDP possess a structural property that we call \emph{partial orthogonality}. In this paper, we…

Optimization and Control · Mathematics 2020-01-13 Yang Zheng , Giovanni Fantuzzi , Antonis Papachristodoulou

Metasurfaces are an emerging technology that may supplant many of the conventional optics found in imaging devices, displays, and precision scientific instruments. Here, we develop a method for designing optical systems composed of multiple…

Optics · Physics 2019-10-23 Adam S. Backer

We consider least squares approximation of a function of one variable by a continuous, piecewise-linear approximand that has a small number of breakpoints. This problem was notably considered by Bellman who proposed an approximate algorithm…

Optimization and Control · Mathematics 2018-06-29 Olof Troeng , Mattias Fält

We present a rectangle-based segmentation algorithm that sets up a graph and performs a graph cut to separate an object from the background. However, graph-based algorithms distribute the graph's nodes uniformly and equidistantly on the…

Computer Vision and Pattern Recognition · Computer Science 2012-03-14 Jan Egger , Tina Kapur , Thomas Dukatz , Malgorzata Kolodziej , Dzenan Zukic , Bernd Freisleben , Christopher Nimsky

Edge computing was introduced as a technical enabler for the demanding requirements of new network technologies like 5G. It aims to overcome challenges related to centralized cloud computing environments by distributing computational…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-29 Soeren Becker , Florian Schmidt , Anton Gulenko , Alexander Acker , Odej Kao

Inspired by dynamic programming, we propose Stochastic Virtual Gradient Descent (SVGD) algorithm where the Virtual Gradient is defined by computational graph and automatic differentiation. The method is computationally efficient and has…

Machine Learning · Computer Science 2019-08-01 Zheng Li , Shi Shu

Given a program, a quotient can be obtained from it by deleting zero or more statements. The field of program slicing is concerned with computing a quotient of a program which preserves part of the behaviour of the original program. All…

Programming Languages · Computer Science 2017-05-23 Sebastian Danicic , Robert M. Hierons , Michael R. Laurence

The symbolic discovery of Ordinary Differential Equations (ODEs) from trajectory data plays a pivotal role in AI-driven scientific discovery. Existing symbolic methods predominantly rely on fixed, pre-collected training datasets, which…

Machine Learning · Computer Science 2025-02-04 Nan Jiang , Md Nasim , Yexiang Xue

A new formulation of lateral imaging process of point-scanning optical coherence tomography (OCT) and a new differential contrast method designed by using this formulation are presented. The formulation is based on a mathematical sample…

We describe a method for the identification of models for dynamical systems from observational data. The method is based on the concept of symbolic regression and uses genetic programming to evolve a system of ordinary differential…

Machine Learning · Computer Science 2021-07-14 Gabriel Kronberger , Lukas Kammerer , Michael Kommenda

Overset methods are commonly employed to enable the effective simulation of problems involving complex geometries and moving objects such as rotorcraft. This paper presents a novel overset domain connectivity algorithm based upon the direct…

Computational Physics · Physics 2018-11-14 Jacob A. Crabill , Freddie D. Witherden , Antony Jameson

We propose a novel score-based approach to learning a directed acyclic graph (DAG) from observational data. We adapt a recently proposed continuous constrained optimization formulation to allow for nonlinear relationships between variables…

Machine Learning · Computer Science 2020-02-19 Sébastien Lachapelle , Philippe Brouillard , Tristan Deleu , Simon Lacoste-Julien

While many graph drawing algorithms consider nodes as points, graph visualization tools often represent them as shapes. These shapes support the display of information such as labels or encode various data with size or color. However, they…

Computational Geometry · Computer Science 2023-04-18 Loann Giovannangeli , Frederic Lalanne , Romain Giot , Romain Bourqui

Aspect based sentiment analysis (ABSA) aims to identify the sentiment polarity towards the given aspect in a sentence, while previous models typically exploit an aspect-independent (weakly associative) encoder for sentence representation…

Computation and Language · Computer Science 2019-09-04 Yunlong Liang , Fandong Meng , Jinchao Zhang , Jinan Xu , Yufeng Chen , Jie Zhou

The Dynamical Graph Grammar (DGG) formalism can describe complex system dynamics with graphs that are mapped into a master equation. An exact stochastic simulation algorithm may be used, but it is slow for large systems. To overcome this…

Quantitative Methods · Quantitative Biology 2024-07-16 Eric Medwedeff , Eric Mjolsness

We present a new programming paradigm which can be useful, in particular, for implementing window interfaces and parallel algorithms. This paradigm allows a user to define operators which can contain nested operators. The new paradigm is…

Programming Languages · Computer Science 2010-04-26 Pavel Ruzankin