中文
相关论文

相关论文: Group Mutual Exclusion in Linear Time and Space

200 篇论文

Clustering is a foundational problem in machine learning with numerous applications. As machine learning increases in ubiquity as a backend for automated systems, concerns about fairness arise. Much of the current literature on fairness…

We study the universality and inclusion problems for register automata over equality data. We show that the universality and the inclusion problems can be solved with 2-EXPTIME complexity when the input automata are without guessing and…

形式语言与自动机理论 · 计算机科学 2021-01-05 Corentin Barloy , Lorenzo Clemente

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…

分布式、并行与集群计算 · 计算机科学 2020-04-22 Alessandro Pellegrini , Francesco Quaglia

We present a high-order spacetime numerical method for discretizing and solving linear initial-boundary value problems using wavelet-based techniques with user-prescribed error estimates. The spacetime wavelet discretization yields a system…

数值分析 · 数学 2025-09-04 Cody D. Cochran , Karel Matous

We study the maximum set coverage problem in the massively parallel model. In this setting, $m$ sets that are subsets of a universe of $n$ elements are distributed among $m$ machines. In each round, these machines can communicate with each…

数据结构与算法 · 计算机科学 2024-11-26 Thai Bui , Hoa T. Vu

We provide a computable criterion for selecting among Fourier, wavelet, and time-frequency analysis by extending the algebraic diversity (AD) framework to Lie groups acting on $L^2(\mathbb{R})$. To our knowledge, there is no other criterion…

信号处理 · 电气工程与系统科学 2026-05-05 Mitchell A. Thornton

One-time memories (OTM's) are simple tamper-resistant cryptographic devices, which can be used to implement one-time programs, a very general form of software protection and program obfuscation. Here we investigate the possibility of…

量子物理 · 物理学 2014-02-19 Yi-Kai Liu

The purpose of this article is to derive the crossover from the Ornstein-Uhlenbeck process to energy solutions of the stochastic Burgers equation with characteristic operators given in terms of fractional operators, such as the regional…

概率论 · 数学 2024-12-16 Pedro Cardoso , Patrícia Gonçalves

The paper evaluates the power of best-first search over AND/OR search spaces for solving the Most Probable Explanation (MPE) task in Bayesian networks. The main virtue of the AND/OR representation of the search space is its sensitivity to…

人工智能 · 计算机科学 2012-06-26 Radu Marinescu , Rina Dechter

We study local symmetry breaking problems in the CONGEST model, focusing on ruling set problems, which generalize the fundamental Maximal Independent Set (MIS) problem. A $\beta$-ruling set is an independent set such that every node in the…

分布式、并行与集群计算 · 计算机科学 2017-05-25 Shreyas Pai , Gopal Pandurangan , Sriram V. Pemmaraju , Talal Riaz , Peter Robinson

We derive information theoretic generalization bounds for supervised learning algorithms based on a new measure of leave-one-out conditional mutual information (loo-CMI). Contrary to other CMI bounds, which are black-box bounds that do not…

机器学习 · 计算机科学 2022-07-04 Mohamad Rida Rammal , Alessandro Achille , Aditya Golatkar , Suhas Diggavi , Stefano Soatto

The principle underlying this paper is the basic observation that the problem of simultaneously solving a large class of composite monotone inclusions and their duals can be reduced to that of finding a zero of the sum of a maximally…

最优化与控制 · 数学 2010-11-29 L. Briceno-Arias , P. L. Combettes

We study the design of robust subexponential algorithms for classical connectivity problems on intersection graphs of similarly sized fat objects in $\mathbb{R}^d$. In this setting, each vertex corresponds to a geometric object, and two…

数据结构与算法 · 计算机科学 2025-12-04 Malory Marin , Jean-Florent Raymond , Rémi Watrigant

Cooperative inference in Mobile Edge Computing (MEC), achieved by deploying partitioned Deep Neural Network (DNN) models between resource-constrained user equipments (UEs) and edge servers (ESs), has emerged as a promising paradigm.…

分布式、并行与集群计算 · 计算机科学 2023-10-20 Xinrui Ye , Yanzan Sun , Dingzhu Wen , Guanjin Pan , Shunqing Zhang

We introduce a novel approach to perform first-order optimization with orthogonal and unitary constraints. This approach is based on a parametrization stemming from Lie group theory through the exponential map. The parametrization…

机器学习 · 计算机科学 2019-09-23 Mario Lezcano-Casado , David Martínez-Rubio

We introduce a generalized forward-backward splitting method with penalty term for solving monotone inclusion problems involving the sum of a finite number of maximally monotone operators and the normal cone to the nonempty set of zeros of…

最优化与控制 · 数学 2018-07-31 Nimit Nimana , Narin Petrot

Optimizing a set of functions simultaneously by leveraging their similarity is called multi-task optimization. Current black-box multi-task algorithms only solve a finite set of tasks, even when the tasks originate from a continuous space.…

神经与进化计算 · 计算机科学 2024-04-05 Timothée Anne , Jean-Baptiste Mouret

Fairness, through its many forms and definitions, has become an important issue facing the machine learning community. In this work, we consider how to incorporate group fairness constraints in kernel regression methods, applicable to…

机器学习 · 计算机科学 2019-09-04 Jack Fitzsimons , AbdulRahman Al Ali , Michael Osborne , Stephen Roberts

We present an in-place algorithm for the partition problem that has linear work and polylogarithmic span. The algorithm uses only exclusive read/write shared variables, and can be implemented using parallel-for-loops without any additional…

数据结构与算法 · 计算机科学 2020-07-10 William Kuszmaul , Alek Westover

The group membership prediction (GMP) problem involves predicting whether or not a collection of instances share a certain semantic property. For instance, in kinship verification given a collection of images, the goal is to predict whether…

计算机视觉与模式识别 · 计算机科学 2015-09-17 Ziming Zhang , Yuting Chen , Venkatesh Saligrama
‹ 上一页 1 8 9 10 下一页 ›