中文
相关论文

相关论文: ADDMC: Weighted Model Counting with Algebraic Deci…

200 篇论文

We discuss an online decentralized decision making problem where the agents are coupled with affine inequality constraints. Alternating Direction Method of Multipliers (ADMM) is used as the computation engine and we discuss the convergence…

系统与控制 · 电气工程与系统科学 2020-11-20 Yuxiao Chen , Mario Santillo , Mrdjan Jankovic , Aaron D. Ames

Metamaterials exhibit materials response deviation from conventional elasticity. This phenomenon is captured by the generalized elasticity as a result of extending the theory at the expense of introducing additional parameters. These…

计算工程、金融与科学 · 计算机科学 2021-06-10 Bilen Emek Abali , Emilio Barchiesi

Efficient estimation of high-dimensional matrices-including covariance and precision matrices-is a cornerstone of modern multivariate statistics. Most existing studies have focused primarily on the theoretical properties of the estimators…

机器学习 · 计算机科学 2026-03-31 Wan Tian , Hui Yang , Zhouhui Lian , Lingyue Zhang , Yijie Peng

A recent trend in probabilistic inference emphasizes the codification of models in a formal syntax, with suitable high-level features such as individuals, relations, and connectives, enabling descriptive clarity, succinctness and…

人工智能 · 计算机科学 2016-06-15 Martin Mladenov , Vaishak Belle , Kristian Kersting

Learning the parameters of a (potentially partially observable) random field model is intractable in general. Instead of focussing on a single optimal parameter value we propose to treat parameters as dynamical quantities. We introduce an…

机器学习 · 计算机科学 2012-05-14 Max Welling

The bold diagrammatic Monte Carlo (BDMC) method performs an unbiased sampling of Feynman's diagrammatic series using skeleton diagrams. For lattice models the efficiency of BDMC can be dramatically improved by incorporating dynamic…

统计力学 · 物理学 2015-05-20 L. Pollet , N. V. Prokof'ev , B. V. Svistunov

This paper considers decentralized consensus optimization problems where nodes of a network have access to different summands of a global objective function. Nodes cooperate to minimize the global objective by exchanging information with…

最优化与控制 · 数学 2016-09-21 Aryan Mokhtari , Wei Shi , Qing Ling , Alejandro Ribeiro

In this paper, we propose a unified framework of inexact stochastic Alternating Direction Method of Multipliers (ADMM) for solving nonconvex problems subject to linear constraints, whose objective comprises an average of finite-sum smooth…

最优化与控制 · 数学 2024-03-05 Yuxuan Zeng , Jianchao Bai , Shengjia Wang , Zhiguo Wang

Accelerating the inference of large language models (LLMs) has been a critical challenge in generative AI. Speculative decoding (SD) substantially improves LLM inference efficiency. However, its utility is limited by a fundamental…

计算与语言 · 计算机科学 2026-05-05 Sibo Xiao , Jinyuan Fu , Zhongle Xie , Lidan Shou

We study the averaging-based distributed optimization solvers over random networks. We show a general result on the convergence of such schemes using weight-matrices that are row-stochastic almost surely and column-stochastic in expectation…

最优化与控制 · 数学 2020-10-06 Adel Aghajan , Behrouz Touri

Many data sources are naturally modeled by multiple weight assignments over a set of keys: snapshots of an evolving database at multiple points in time, measurements collected over multiple time periods, requests for resources served at…

数据库 · 计算机科学 2010-11-11 Edith Cohen , Haim Kaplan , Subhabrata Sen

The alternating direction method of multipliers (ADMM) is commonly used for distributed model fitting problems, but its performance and reliability depend strongly on user-defined penalty parameters. We study distributed ADMM methods that…

机器学习 · 计算机科学 2017-06-21 Zheng Xu , Gavin Taylor , Hao Li , Mario Figueiredo , Xiaoming Yuan , Tom Goldstein

We introduce a Deep Boltzmann Machine model suitable for modeling and extracting latent semantic representations from a large unstructured collection of documents. We overcome the apparent difficulty of training a DBM with judicious…

机器学习 · 计算机科学 2013-09-27 Nitish Srivastava , Ruslan R Salakhutdinov , Geoffrey E. Hinton

In this paper we propose an Alternating Direction Method of Multipliers (ADMM) algorithm for solving a Model Predictive Control (MPC) optimization problem, in which the system has state and input constraints and a nonlinear input map. The…

最优化与控制 · 数学 2018-07-30 Sebastian East , Mark Cannon

We propose generalized additive partial linear models for complex data which allow one to capture nonlinear patterns of some covariates, in the presence of linear components. The proposed method improves estimation efficiency and increases…

统计理论 · 数学 2014-05-26 Li Wang , Lan Xue , Annie Qu , Hua Liang

We present an Alternating Direction Method of Multipliers (ADMM) algorithm designed to solve the Weighted Generalized Fused LASSO Signal Approximator (wFLSA). First, we show that wFLSAs can always be reformulated as a Generalized LASSO…

统计方法学 · 统计学 2024-07-26 Louis Dijkstra , Moritz Hanke , Niklas Koenen , Ronja Foraita

The parallel alternating direction method of multipliers (ADMM) algorithms have gained popularity in statistics and machine learning due to their efficient handling of large sample data problems. However, the parallel structure of these…

统计理论 · 数学 2024-04-11 Xiaofei Wu , Jiancheng Jiang , Zhimin Zhang

Weighted counting problems are a natural generalization of counting problems where a weight is associated with every computational path of polynomial-time non-deterministic Turing machines and the goal is to compute the sum of the weights…

计算复杂性 · 计算机科学 2019-01-11 Cassio P. de Campos , Georgios Stamoulis , Dennis Weyland

Quantitative extensions of logic programming often require the solution of so called second level inference tasks, i.e., problems that involve a third operation, such as maximization or normalization, on top of addition and multiplication,…

人工智能 · 计算机科学 2022-11-14 Rafael Kiesel , Pietro Totis , Angelika Kimmig

Many computational problems in modern society account to probabilistic reasoning, statistics, and combinatorics. A variety of these real-world questions can be solved by representing the question in (Boolean) formulas and associating the…

计算机科学中的逻辑 · 计算机科学 2024-08-29 Johannes K. Fichte , Markus Hecher , Florim Hamiti