中文
相关论文

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

200 篇论文

In this paper we explore several approaches for sampling weight vectors in the context of weighted sum scalarisation approaches for solving multi-criteria decision making (MCDM) problems. This established method converts a multi-objective…

最优化与控制 · 数学 2025-04-18 Aled Williams , Yilun Cai

Let the design of an experiment be represented by an $s$-dimensional vector $\mathbf {w}$ of weights with nonnegative components. Let the quality of $\mathbf {w}$ for the estimation of the parameters of the statistical model be measured by…

统计理论 · 数学 2015-10-16 Guillaume Sagnol , Radoslav Harman

Many data-driven algorithms in dynamical systems rely on ergodic averages that converge painfully slowly. One simple idea changes this: taper the ends. Weighted Birkhoff averages can converge much faster (sometimes superpolynomially, even…

动力系统 · 数学 2026-02-26 Maria Bou-Sakr-El-Tayar , Jason J. Bramburger , Matthew J. Colbrook

Averaging predictions of a deep ensemble of networks is apopular and effective method to improve predictive performance andcalibration in various benchmarks and Kaggle competitions. However, theruntime and training cost of deep ensembles…

计算机视觉与模式识别 · 计算机科学 2022-11-09 Timo Sämann , Ahmed Mostafa Hammam , Andrei Bursuc , Christoph Stiller , Horst-Michael Groß

Collaborative transportation of heavy payloads via loco-manipulation is a challenging yet essential capability for legged robots operating in complex, unstructured environments. Centralized planning methods, e.g., holistic trajectory…

机器人学 · 计算机科学 2026-03-10 Ziyi Zhou , Pengyuan Shu , Ruize Cao , Yuntian Zhao , Ye Zhao

Tokenization-free hierarchical models are emerging as a promising alternative to traditional Large Language Models (LLMs), addressing inherent preprocessing issues such as vocabulary design complexity, out-of-vocabulary (OOV) errors, and…

计算与语言 · 计算机科学 2026-05-29 Thang Dang , Akira Nakagawa , Kenichi Kobayashi , Koichi Shirahata

In this paper, we discuss a family of robust, high-dimensional regression models for quantile and composite quantile regression, both with and without an adaptive lasso penalty for variable selection. We reformulate these quantile…

统计计算 · 统计学 2020-06-29 Matthew Pietrosanu , Jueyu Gao , Linglong Kong , Bei Jiang , Di Niu

Quantization is an effective strategy to reduce the storage and computation footprint of large language models (LLMs). Post-training quantization (PTQ) is a leading approach for compressing LLMs. Popular weight quantization procedures,…

机器学习 · 计算机科学 2026-05-13 Ryan Lucas , Mehdi Makni , Xiang Meng , Adam Deng , Rahul Mazumder

Modern statistical analysis often encounters high-dimensional problems but with a limited sample size. It poses great challenges to traditional statistical estimation methods. In this work, we adopt auxiliary learning to solve the…

统计理论 · 数学 2025-01-08 Hanchao Yan , Feifei Wang , Chuanxin Xia , Hansheng Wang

Mixed-Modal Image Retrieval (MMIR) as a flexible search paradigm has attracted wide attention. However, previous approaches always achieve limited performance, due to two critical factors are seriously overlooked. 1) The contribution of…

计算机视觉与模式识别 · 计算机科学 2023-12-12 Fuxiang Huang , Lei Zhang , Xiaowei Fu , Suqi Song

Dynamic Linear Models (DLMs) are commonly employed for time series analysis due to their versatile structure, simple recursive updating, ability to handle missing data, and probabilistic forecasting. However, the options for count time…

统计方法学 · 统计学 2023-06-30 Brian King , Daniel R. Kowal

Alternating direction methods of multipliers (ADMMs) are popular approaches to handle large scale semidefinite programs that gained attention during the past decade. In this paper, we focus on solving doubly nonnegative programs (DNN),…

最优化与控制 · 数学 2020-09-15 Martina Cerulli , Marianna De Santis , Elisabeth Gaar , Angelika Wiegele

The large memory requirements of deep neural networks limit their deployment and adoption on many devices. Model compression methods effectively reduce the memory requirements of these models, usually through applying transformations such…

We propose a general approach to construct weighted likelihood estimating equations with the aim of obtain robust estimates. The weight, attached to each score contribution, is evaluated by comparing the statistical data depth at the model…

统计方法学 · 统计学 2018-02-16 Claudio Agostinelli

It has been found that Transformer-based language models have the ability to perform basic quantitative reasoning. In this paper, we propose a method for studying how these models internally represent numerical data, and use our proposal to…

计算与语言 · 计算机科学 2024-04-26 Ulme Wennberg , Gustav Eje Henter

Dynamic Mode Decomposition (DMD) is a data based modeling tool that identifies a matrix to map a quantity at some time instant to the same quantity in future. We design a new version which we call Adaptive Dynamic Mode Decomposition (ADMD)…

信号处理 · 电气工程与系统科学 2020-12-16 Mohammad N. Murshed , M. Monir Uddin

This paper addresses the problem of efficiently classifying high-dimensional data over decentralized networks. Penalized support vector machines (SVMs) are widely used for high-dimensional classification tasks. However, the double…

机器学习 · 统计学 2025-03-11 Canyi Chen , Nan Qiao , Liping Zhu

This study proposes a dynamic rule data mining algorithm based on an improved Transformer architecture, aiming to improve the accuracy and efficiency of rule mining in a dynamic data environment. With the increase in data volume and…

机器学习 · 计算机科学 2025-03-17 Jie Liu , Yiwei Zhang , Yuan Sheng , Yujia Lou , Haige Wang , Bohuan Yang

We propose a new weighted average estimator for the high dimensional parameters under the distributed learning system, in which the weight assigned to each coordinate is precisely proportional to the inverse of the variance of the local…

统计方法学 · 统计学 2025-02-06 Jun Lu , Xiaoyu Mao , Mengyao Li , Chenping Hou

We present a framework for expressing bottom-up algorithms to compute the well-founded model of non-disjunctive logic programs. Our method is based on the notion of conditional facts and elementary program transformations studied by Brass…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Stefan Brass , Juergen Dix , Burkhard Freitag , Ulrich Zukowski