中文
相关论文

相关论文: An Approach for Computing Dynamic Slice of Concurr…

200 篇论文

This paper proposes some efficient and accurate adaptive two-grid (ATG) finite element algorithms for linear and nonlinear partial differential equations (PDEs). The main idea of these algorithms is to utilize the solutions on the $k$-th…

数值分析 · 数学 2020-09-22 Yukun Li , Yi Zhang

We introduce an algorithm called SQDP (Stochastic Quadratic Dynamic Programming) to solve some multistage stochastic optimization problems having strongly convex recourse functions. The algorithm extends the classical Stochastic Dual…

最优化与控制 · 数学 2026-05-21 Vincent Guigues , Adriana Washington

A linear-time algorithm for generating auxiliary subgraphs for the 3-edge-connected components of a connected multigraph is presented. The algorithm uses an innovative graph contraction operation and makes only one pass over the graph. By…

数据结构与算法 · 计算机科学 2024-08-14 Yung H. Tsin

We employ chordal decomposition to reformulate a large and sparse semidefinite program (SDP), either in primal or dual standard form, into an equivalent SDP with smaller positive semidefinite (PSD) constraints. In contrast to previous…

最优化与控制 · 数学 2020-08-07 Yang Zheng , Giovanni Fantuzzi , Antonis Papachristodoulou , Paul Goulart , Andrew Wynn

In this work, we present the first linear time deterministic algorithm computing the 4-edge-connected components of an undirected graph. First, we show an algorithm listing all 3-edge-cuts in a given 3-edge-connected graph, and then we use…

数据结构与算法 · 计算机科学 2021-05-06 Wojciech Nadara , Mateusz Radecki , Marcin Smulewicz , Marek Sokołowski

The alternating direction method of multipliers (ADMM) is a powerful operator splitting technique for solving structured convex optimization problems. Due to its relatively low per-iteration computational cost and ability to exploit…

最优化与控制 · 数学 2020-06-09 Michel Schubiger , Goran Banjac , John Lygeros

Cut-based directed graph (digraph) clustering often focuses on finding dense within-cluster or sparse between-cluster connections, similar to cut-based undirected graph clustering methods. In contrast, for flow-based clusterings the edges…

机器学习 · 计算机科学 2022-03-04 Koby Hayashi , Sinan G. Aksoy , Haesun Park

The irregular geometry and high inter-slice variability in computerized tomography (CT) scans of the human pancreas make an accurate segmentation of this crucial organ a challenging task for existing data-driven deep learning methods. To…

计算机视觉与模式识别 · 计算机科学 2020-10-20 Hao Li , Jun Li , Xiaozhu Lin , Xiaohua Qian

In this paper, we develop a splitting algorithm incorporating Bregman distances to solve a broad class of linearly constrained composite optimization problems, whose objective function is the separable sum of possibly nonconvex nonsmooth…

最优化与控制 · 数学 2024-10-01 Tan Nhat Pham , Minh N. Dao , Andrew Eberhard , Nargiz Sultanova

Deep learning-based object detectors have achieved remarkable success across numerous computer vision applications, yet they continue to struggle with small object detection in high-resolution aerial and satellite imagery, where dense…

计算机视觉与模式识别 · 计算机科学 2026-04-22 Francesco Moretti , Yi Jin , Guiqin Mario

There is an extensive literature on dynamic algorithms for a large number of graph theoretic problems, particularly for all varieties of shortest path problems. Germane to this paper are a number fully dynamic algorithms that are known for…

数据结构与算法 · 计算机科学 2020-02-19 Md. Zamilur Rahman , Asish Mukhopadhyay

Program slicing has been widely applied in a variety of software engineering tasks. However, existing program slicing techniques only deal with traditional programs that are constructed with instructions and variables, rather than neural…

软件工程 · 计算机科学 2020-09-30 Ziqi Zhang , Yuanchun Li , Yao Guo , Xiangqun Chen , Yunxin Liu

This paper aims to present a fairly accessible generalization of several symmetric Gauss-Seidel decomposition based multi-block proximal alternating direction methods of multipliers (ADMMs) for convex composite optimization problems. The…

最优化与控制 · 数学 2020-06-09 Liang Chen , Defeng Sun , Kim-Chuan Toh , Ning Zhang

Line of Sight (LoS) networks were designed to model wireless communication in settings which may contain obstacles restricting node visibility. For fixed positive integer $d$, and positive integer $\omega$, a graph $G=(V,E)$ is a…

数据结构与算法 · 计算机科学 2018-06-06 Pavan Sangha , Prudence W. H. Wong , Michele Zito

We present a novel deep learning-based algorithm to accelerate - through the use of Artificial Neural Networks (ANNs) - the convergence of Algebraic Multigrid (AMG) methods for the iterative solution of the linear systems of equations…

数值分析 · 数学 2025-06-18 Paola F. Antonietti , Matteo Caldana , Luca Dede'

Cell formation is a critical step in the design of cellular manufacturing systems. Recently, it was tackled using a cut-based-graph-partitioning model. This model meets real-life production systems requirements as it uses the actual amount…

离散数学 · 计算机科学 2016-12-19 Boulif Menouar

We consider the segmentation of set of correlated time-series, the correlation being allowed to take an arbitrary form but being the same at each time-position. We show that encoding the dependency in a factor model enables us to use the…

统计方法学 · 统计学 2018-07-18 Xavier Collilieux , Emilie Lebarbier , Stéphane Robin

Hirschberg's algorithm (1975) reduces the space complexity for the longest common subsequence problem from $O(N^2)$ to $O(N)$ via recursive midpoint bisection on a grid dynamic program (DP). We show that the underlying idea generalizes to a…

数据结构与算法 · 计算机科学 2025-12-12 Logan Nye

Existing code similarity metrics, such as BLEU, CodeBLEU, and TSED, largely rely on surface-level string overlap or abstract syntax tree structures, and often fail to capture deeper semantic relationships between programs.We propose CSSG…

A computational graph in a deep neural network (DNN) denotes a specific data flow diagram (DFD) composed of many tensors and operators. Existing toolkits for visualizing computational graphs are not applicable when the structure is highly…

人机交互 · 计算机科学 2023-01-02 Rusheng Pan , Zhiyong Wang , Yating Wei , Han Gao , Gongchang Ou , Caleb Chen Cao , Jingli Xu , Tong Xu , Wei Chen