中文
相关论文

相关论文: A Knowledge-Based Analysis of Global Function Comp…

200 篇论文

Variational inference algorithms such as belief propagation have had tremendous impact on our ability to learn and use graphical models, and give many insights for developing or understanding exact and approximate inference. However,…

人工智能 · 计算机科学 2012-10-19 Qiang Liu , Alexander T. Ihler

In typical scenarios where the Federated Learning (FL) framework applies, it is common for clients to have insufficient training data to produce an accurate model. Thus, models that provide not only point estimations, but also some notion…

机器学习 · 计算机科学 2022-06-14 Haolin Yu , Kaiyang Guo , Mahdi Karami , Xi Chen , Guojun Zhang , Pascal Poupart

Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bi-decomposition are often based on BDDs and, more recently,…

计算机科学中的逻辑 · 计算机科学 2011-12-15 Huan Chen , Mikolas Janota , Joao Marques-Silva

A framework for robust optimization under uncertainty based on the use of the generalized inverse distribution function (GIDF), also called quantile function, is here proposed. Compared to more classical approaches that rely on the usage of…

最优化与控制 · 数学 2014-07-18 Domenico Quagliarella , Giovanni Petrone , Gianluca Iaccarino

The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…

分布式、并行与集群计算 · 计算机科学 2016-04-01 Fabian Kuhn , Thomas Moscibroda , Roger Wattenhofer

Paper describes the theoretical and practical aspects of the proposed model that uses distributed computing to a global network of Internet communication. Distributed computing are widely used in modern solutions such as research, where the…

网络与互联网体系结构 · 计算机科学 2012-10-08 Lukasz Swierczewski

In this article, we present a visual introduction to Gaussian Belief Propagation (GBP), an approximate probabilistic inference algorithm that operates by passing messages between the nodes of arbitrarily structured factor graphs. A special…

人工智能 · 计算机科学 2021-07-07 Joseph Ortiz , Talfan Evans , Andrew J. Davison

A network of locally interacting agents can be thought of as performing a distributed computation. But not all computations can be faithfully distributed. This paper investigates which global, linear transformations can be computed using…

最优化与控制 · 数学 2013-11-26 Zak Costello , Magnus Egerstedt

We present distributed algorithms that can be used by multiple agents to align their estimates with a particular value over a network with time-varying connectivity. Our framework is general in that this value can represent a consensus…

最优化与控制 · 数学 2010-04-20 Angelia Nedić , Asuman Ozdaglar , Pablo A. Parrilo

Using evolutionary computation algorithms to solve multiple tasks with knowledge sharing is a promising approach. Image feature learning can be considered as a multitask problem because different tasks may have a similar feature space.…

计算机视觉与模式识别 · 计算机科学 2021-07-16 Ying Bi , Bing Xue , Mengjie Zhang

Leader election is one of the fundamental and well-studied problems in distributed computing. In this paper, we initiate the study of leader election using mobile agents. Suppose $n$ agents are positioned initially arbitrarily on the nodes…

分布式、并行与集群计算 · 计算机科学 2024-05-24 Ajay D. Kshemkalyani , Manish Kumar , Anisur Rahaman Molla , Gokarna Sharma

Federated learning is a setting where agents, each with access to their own data source, combine models from local data to create a global model. If agents are drawing their data from different distributions, though, federated learning…

计算机科学与博弈论 · 计算机科学 2020-12-18 Kate Donahue , Jon Kleinberg

Making sense of the world and acting in it relies on building simplified mental representations that abstract away aspects of reality. This principle of cognitive mapping is universal to agents with limited resources. Living organisms,…

人工智能 · 计算机科学 2025-04-30 Marta Kryven , Cole Wyeth , Aidan Curtis , Kevin Ellis

As Deep Learning continues to yield successful applications in Computer Vision, the ability to quantify all forms of uncertainty is a paramount requirement for its safe and reliable deployment in the real-world. In this work, we leverage…

计算机视觉与模式识别 · 计算机科学 2020-03-26 Eduardo D C Carvalho , Ronald Clark , Andrea Nicastro , Paul H J Kelly

Feature maps, that preserve the global topology of arbitrary datasets, can be formed by self-organizing competing agents. So far, it has been presumed that global interaction of agents is necessary for this process. We establish that this…

机器学习 · 计算机科学 2019-02-12 Abbas Siddiqui , Dionysios Georgiadis

We consider a class of distributed submodular maximization problems in which each agent must choose a single strategy from its strategy set. The global objective is to maximize a submodular function of the strategies chosen by each agent.…

数据结构与算法 · 计算机科学 2017-06-14 Bahman Gharesifard , Stephen L. Smith

The paper proves convergence to global optima for a class of distributed algorithms for nonconvex optimization in network-based multi-agent settings. Agents are permitted to communicate over a time-varying undirected graph. Each agent is…

最优化与控制 · 数学 2019-03-19 Brian Swenson , Soummya Kar , H. Vincent Poor , Jose' M. F. Moura

We propose a flexible gradient tracking approach with adjustable computation and communication steps for solving distributed stochastic optimization problem over networks. The proposed method allows each node to perform multiple local…

最优化与控制 · 数学 2023-06-13 Yan Huang , Jinming Xu

In this paper, the problem of minimizing energy and time consumption for task computation and transmission is studied in a mobile edge computing (MEC)-enabled balloon network. In the considered network, each user needs to process a…

信号处理 · 电气工程与系统科学 2020-03-23 Sihua Wang , Mingzhe Chen , Changchuan Yin , Walid Saad , Choong Seon Hong , Shuguang Cui , H. Vincent Poor

We unify functional and logic programming by treating predicatesas functions equipped with their support: the set of inputs whose output is nonzero. Datalog, for instance, is a language of finitely supported boolean functions. Finite…

编程语言 · 计算机科学 2026-04-30 Michael Arntzenius , Max Willsey