English
Related papers

Related papers: Value-centric Dynamic Partial Order Reduction

200 papers

The use of episodic memory in continual learning has demonstrated effectiveness for alleviating catastrophic forgetting. In recent studies, gradient-based approaches have been developed to make more efficient use of compact episodic memory.…

Machine Learning · Statistics 2022-04-15 Yu Chen , Tom Diethe , Peter Flach

Most parallel applications suffer from load imbalance, a crucial performance degradation factor. In particle simulations, this is mainly due to the migration of particles between processing elements, which eventually gather unevenly and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-26 Anthony Boulmier , Nabil Abdennadher , Bastien Chopard

Once failure is irreversible, continuation payoffs cannot be meaningfully aggregated across strategies that differ in their survival properties. Standard scalar evaluation sidesteps this by arbitrarily completing payoffs beyond termination,…

Theoretical Economics · Economics 2026-02-10 Nicholas H. Kirk

This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if they can get trapped in a situation where they are both…

Formal Languages and Automata Theory · Computer Science 2011-08-02 Simon Ware , Robi Malik

High-performance computing (HPC) has revolutionized our ability to perform detailed simulations of complex real-world processes. A prominent contemporary example is from aerospace propulsion, where HPC is used for rotating detonation rocket…

Numerical Analysis · Mathematics 2025-04-22 Ionut-Gabriel Farcas , Rayomand P. Gundevia , Ramakanth Munipalli , Karen E. Willcox

Recently, dataset condensation has made significant progress in the image domain. Unlike images, videos possess an additional temporal dimension, which harbors considerable redundant information, making condensation even more crucial.…

Computer Vision and Pattern Recognition · Computer Science 2025-03-13 Yang Chen , Sheng Guo , Bo Zheng , Limin Wang

Stochastic optimization algorithms using exponential moving averages of the past gradients, such as ADAM, RMSProp and AdaGrad, have been having great successes in many applications, especially in training deep neural networks. ADAM in…

Machine Learning · Computer Science 2026-01-30 Ruiqi Wang , Diego Klabjan

Imbalanced data widely exists in many high-impact applications. An example is in air traffic control, where we aim to identify the leading indicators for each type of accident cause from historical records. Among all three types of accident…

Social and Information Networks · Computer Science 2018-12-19 Jun Wu , Jingrui He , Yongming Liu

In temporal ordered clustering, given a single snapshot of a dynamic network in which nodes arrive at distinct time instants, we aim at partitioning its nodes into $K$ ordered clusters $\mathcal{C}_1 \prec \cdots \prec \mathcal{C}_K$ such…

Social and Information Networks · Computer Science 2020-08-10 Krzysztof Turowski , Jithin K. Sreedharan , Wojciech Szpankowski

State-of-the-art visual place recognition performance is currently being achieved utilizing deep learning based approaches. Despite the recent efforts in designing lightweight convolutional neural network based models, these can still be…

Computer Vision and Pattern Recognition · Computer Science 2021-09-24 Bruno Arcanjo , Bruno Ferrarini , Michael Milford , Klaus D. McDonald-Maier , Shoaib Ehsan

High-performance computing on shared-memory/multi-core architectures could suffer from non-negligible performance bottlenecks due to coordination algorithms, which are nevertheless necessary to ensure the overall correctness and/or to…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-22 Alessandro Pellegrini , Francesco Quaglia

Large-scale optimization problems that involve thousands of decision variables have extensively arisen from various industrial areas. As a powerful optimization tool for many real-world applications, evolutionary algorithms (EAs) fail to…

Neural and Evolutionary Computing · Computer Science 2023-09-26 Peng Yang , Ke Tang , Xin Yao

Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for such architectures. Traditional approaches to verify weak…

Software Engineering · Computer Science 2016-02-29 Ganesh Narayanaswamy , Saurabh Joshi , Daniel Kroening

AdaBoost is an important algorithm in machine learning and is being widely used in object detection. AdaBoost works by iteratively selecting the best amongst weak classifiers, and then combines several weak classifiers to obtain a strong…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-06-07 Munther Abualkibash , Ahmed ElSayed , Ausif Mahmood

Features in machine learning problems are often time-varying and may be related to outputs in an algebraic or dynamical manner. The dynamic nature of these machine learning problems renders current higher order accelerated gradient descent…

Optimization and Control · Mathematics 2019-05-29 Joseph E. Gaudio , Travis E. Gibson , Anuradha M. Annaswamy , Michael A. Bolender

Bit-level sparsity in quantized deep neural networks (DNNs) offers significant potential for optimizing Multiply-Accumulate (MAC) operations. However, two key challenges still limit its practical exploitation. First, conventional bit-serial…

Hardware Architecture · Computer Science 2025-07-15 Feilong Qiaoyuan , Jihe Wang , Zhiyu Sun , Linying Wu , Yuanhua Xiao , Danghui Wang

We aim at capturing high-order statistics of feature vectors formed by a neural network, and propose end-to-end second- and higher-order pooling to form a tensor descriptor. Tensor descriptors require a robust similarity measure due to low…

Computer Vision and Pattern Recognition · Computer Science 2023-12-19 Lei Wang , Ke Sun , Piotr Koniusz

We present Diversity-Aware Meta Visual Prompting~(DAM-VP), an efficient and effective prompting method for transferring pre-trained models to downstream tasks with frozen backbone. A challenging issue in visual prompting is that image…

Computer Vision and Pattern Recognition · Computer Science 2023-03-15 Qidong Huang , Xiaoyi Dong , Dongdong Chen , Weiming Zhang , Feifei Wang , Gang Hua , Nenghai Yu

In this work, we present Transitive Reinforcement Learning (TRL), a new value learning algorithm based on a divide-and-conquer paradigm. TRL is designed for offline goal-conditioned reinforcement learning (GCRL) problems, where the aim is…

Machine Learning · Computer Science 2026-02-24 Seohong Park , Aditya Oberai , Pranav Atreya , Sergey Levine

Task-oriented object detection (TOOD) atop CLIP offers open-vocabulary, prompt-driven semantics, yet dense per-window computation and heavy memory traffic hinder real-time, power-limited edge deployment. We present \emph{TorR}, a…

Hardware Architecture · Computer Science 2026-03-25 Hyunwoo Oh , SungHeon Jeong , Suyeon Jang , Hanning Chen , Sanggeon Yun , Tamoghno Das , Mohsen Imani