English
Related papers

Related papers: An Approach for Computing Dynamic Slice of Concurr…

200 papers

Program source code contains complex structure information, which can be represented in structured data forms like trees or graphs. To acquire the structural information in source code, most existing researches use abstract syntax trees…

Software Engineering · Computer Science 2022-04-13 Kechi Zhang , Wenhan Wang , Huangzhao Zhang , Ge Li , Zhi Jin

In recent years, the rapid development of deep learning has brought great advancements to image and video segmentation methods based on neural networks. However, to unleash the full potential of such models, large numbers of high-quality…

Computer Vision and Pattern Recognition · Computer Science 2022-10-19 Yuying Hao , Yi Liu , Yizhou Chen , Lin Han , Juncai Peng , Shiyu Tang , Guowei Chen , Zewu Wu , Zeyu Chen , Baohua Lai

Stochastic gradient descent-based algorithms are widely used for training deep neural networks but often suffer from slow convergence. To address the challenge, we leverage the framework of the alternating direction method of multipliers…

Machine Learning · Computer Science 2025-02-03 Ouya Wang , Shenglong Zhou , Geoffrey Ye Li

Spotting graphical symbols from the computer-aided design (CAD) drawings is essential to many industrial applications. Different from raster images, CAD drawings are vector graphics consisting of geometric primitives such as segments, arcs,…

Computer Vision and Pattern Recognition · Computer Science 2022-01-11 Zhaohua Zheng , Jianfang Li , Lingjie Zhu , Honghua Li , Frank Petzold , Ping Tan

Motivated by the necessity for parameter efficiency in distributed machine learning and AI-enabled edge devices, we provide a general and easy to implement method for significantly reducing the number of parameters of Convolutional Neural…

Machine Learning · Computer Science 2019-08-13 Hamed Omidvar , Vahideh Akhlaghi , Massimo Franceschetti , Rajesh K. Gupta

In this paper, we present a quantum algorithm for the dynamic programming approach for problems on directed acyclic graphs (DAGs). The running time of the algorithm is $O(\sqrt{\hat{n}m}\log \hat{n})$, and the running time of the best known…

Quantum Physics · Physics 2023-01-02 Kamil Khadiev , Liliya Safina

We propose a novel 3D segmentation method for RBGD stream data to deal with 3D object segmentation task in a generic scenario with frequent object interactions. It mainly contributes in two aspects, while being generic and not requiring…

Computer Vision and Pattern Recognition · Computer Science 2019-04-19 Xiao Lin , Josep R. Casas , Montse Pardàs

We describe a new sampling-based method to determine cuts in an undirected graph. For a graph (V, E), its cycle space is the family of all subsets of E that have even degree at each vertex. We prove that with high probability, sampling the…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-07-22 David Pritchard , Ramakrishna Thurimella

SGD (Stochastic Gradient Descent) is a popular algorithm for large scale optimization problems due to its low iterative cost. However, SGD can not achieve linear convergence rate as FGD (Full Gradient Descent) because of the inherent…

Machine Learning · Computer Science 2017-12-05 Aixiang Chen , Bingchuan Chen , Xiaolong Chai , Rui Bian , Hengguang Li

Independent component analysis (ICA) is a fundamental data processing technique to decompose the captured signals into as independent as possible components. Computing the contrast function, which serves as a measure of independence of…

Quantum Physics · Physics 2023-11-22 Xiao-Fan Xu , Cheng Xue , Zhao-Yun Chen , Yu-Chun Wu , Guo-Ping Guo

We consider a class of sampling-based decomposition methods to solve risk-averse multistage stochastic convex programs. We prove a formula for the computation of the cuts necessary to build the outer linearizations of the recourse…

Optimization and Control · Mathematics 2016-09-12 Vincent Guigues

Recent results on supercomputers show that beyond 65K cores, the efficiency of molecular dynamics simulations of interfacial systems decreases significantly. In this paper, we introduce a dynamic cutoff method (DCM) for interfacial systems…

Computational Physics · Physics 2017-01-23 Paul Springer , Ahmed E. Ismail , Paolo Bientinesi

We present the first linear-time algorithm that computes the $4$-edge-connected components of an undirected graph. Hence, we also obtain the first linear-time algorithm for testing $4$-edge connectivity. Our results are based on a…

Data Structures and Algorithms · Computer Science 2021-05-10 Loukas Georgiadis , Giuseppe F. Italiano , Evangelos Kosinas

This work explores an unexpected application of Implicit Computational Complexity (ICC) to parallelize loops in imperative programs. Thanks to a lightweight dependency analysis, our algorithm allows splitting a loop into multiple loops that…

Programming Languages · Computer Science 2022-06-20 Clément Aubert , Thomas Rubiano , Neea Rusch , Thomas Seiller

While a multitude of studies have been conducted on graph drawing, many existing methods only focus on optimizing a single aesthetic aspect of graph layouts, which can lead to sub-optimal results. There are a few existing methods that have…

Machine Learning · Computer Science 2023-08-15 Xiaoqi Wang , Kevin Yen , Yifan Hu , Han-Wei Shen

This paper develops an adaptive proximal alternating direction method of multipliers (ADMM) for solving linearly constrained, composite optimization problems under the assumption that the smooth component of the objective is weakly convex,…

Optimization and Control · Mathematics 2026-05-04 Leandro Farias Maia , David H. Gutman , Renato D. C. Monteiro , Gilson N. Silva

Recent works have made great progress in semantic segmentation by exploiting contextual information in a local or global manner with dilated convolutions, pyramid pooling or self-attention mechanism. In order to avoid potential misleading…

Computer Vision and Pattern Recognition · Computer Science 2020-07-21 Hanzhe Hu , Deyi Ji , Weihao Gan , Shuai Bai , Wei Wu , Junjie Yan

Traditional frameworks for dynamic graphs have relied on processing only the stream of edges added into or deleted from an evolving graph, but not any additional related information such as the degrees or neighbor lists of nodes incident to…

Social and Information Networks · Computer Science 2018-03-01 Guyue Han , Harish Sethu

The paper formalizes a version of parallel online directed acyclic graph (DAG) exploration, general enough to be readily mapped to many computational scenarios. In both the offline and online versions, vertices are weighted with the work…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-05 Rahul Prabhu , Amit Verma , Meera Sitharam

Due to their inherent capability in semantic alignment of aspects and their context words, attention mechanism and Convolutional Neural Networks (CNNs) are widely applied for aspect-based sentiment classification. However, these models lack…

Computation and Language · Computer Science 2019-10-15 Chen Zhang , Qiuchi Li , Dawei Song