English
Related papers

Related papers: The Weighted CFG Constraint

200 papers

Inference problems in graphical models are often approximated by casting them as constrained optimization problems. Message passing algorithms, such as belief propagation, have previously been suggested as methods for solving these…

Machine Learning · Computer Science 2012-06-26 Amir Globerson , Tommi S. Jaakkola

First-order probabilistic models combine representational power of first-order logic with graphical models. There is an ongoing effort to design lifted inference algorithms for first-order probabilistic models. We analyze lifted inference…

Artificial Intelligence · Computer Science 2012-05-14 Jacek Kisynski , David L Poole

Coded computation techniques provide robustness against straggling servers in distributed computing, with the following limitations: First, they increase decoding complexity. Second, they ignore computations carried out by straggling…

Machine Learning · Computer Science 2018-11-29 Emre Ozfatura , Sennur Ulukus , Deniz Gunduz

We use the polynomial partitioning method of Guth to prove weighted Fourier restriction estimates in $\Bbb R^3$ with exponents $p$ that range between $3$ and $3.25$, depending on the weight. As a corollary to our main theorem, we obtain new…

Classical Analysis and ODEs · Mathematics 2017-06-07 Bassam Shayya

Kallampally and Tewari showed in 2016 that there can be a trade-off between determinism and time in space-bounded computations. This they did by describing an unambiguous non-deterministic algorithm to solve Directed Graph Reachability that…

Computational Complexity · Computer Science 2025-04-16 Ronak Bhadra , Raghunath Tewari

We propose a control barrier function (CBF) formulation for enforcing equality and inequality constraints in variational inference. The key idea is to define a barrier functional on the space of probability density functions that encode the…

Optimization and Control · Mathematics 2026-05-15 Yinzhuang Yi , Jorge Cortés , Nikolay Atanasov

In this paper we present linear time approximation schemes for several generalized matching problems on nonbipartite graphs. Our results include $O_\epsilon(m)$-time algorithms for $(1-\epsilon)$-maximum weight $f$-factor and…

Data Structures and Algorithms · Computer Science 2020-05-11 Dawei Huang , Seth Pettie

We present combinatorial approximation algorithms for the weighted correlation clustering problem. In this problem, we have a set of vertices and two weight values for each pair of vertices, denoting their difference and similarity. The…

Data Structures and Algorithms · Computer Science 2025-07-16 Mojtaba Ostovari , Alireza Zarei

The state-of-the-art performance for several real-world problems is currently reached by convolutional neural networks (CNN). Such learning models exploit recent results in the field of deep learning, typically leading to highly performing,…

Machine Learning · Computer Science 2021-08-31 Giosuè Cataldo Marinò , Alessandro Petrini , Dario Malchiodi , Marco Frasca

In this work, we propose a continuous-time distributed optimization algorithm with guaranteed zero coupling constraint violation and apply it to safe distributed control in the presence of multiple control barrier functions (CBF). The…

Optimization and Control · Mathematics 2025-02-05 Xiao Tan , Changxin Liu , Karl H. Johansson , Dimos V. Dimarogonas

We consider a generalized version of the (weighted) one-center problem on graphs. Given an undirected graph $G$ of $n$ vertices and $m$ edges and a positive integer $k\leq n$, the problem aims to find a point in $G$ so that the maximum…

Data Structures and Algorithms · Computer Science 2025-01-22 Jingru Zhang

In this paper, we numerically address the inverse problem of identifying a time-dependent coefficient in the time-fractional diffusion equation. An a priori estimate is established to ensure uniqueness and stability of the solution. A fully…

Numerical Analysis · Mathematics 2026-01-27 Arshyn Altybay

Special-purpose constraint propagation algorithms frequently make implicit use of short supports -- by examining a subset of the variables, they can infer support (a justification that a variable-value pair may still form part of an…

Artificial Intelligence · Computer Science 2014-02-05 Peter Nightingale , Ian Philip Gent , Christopher Jefferson , Ian Miguel

In this paper, we consider a distributed constrained optimization problem with delayed subgradient information over the time-varying communication network, where each agent can only communicate with its neighbors and the communication…

Optimization and Control · Mathematics 2021-06-16 Jie Liu , Zhan Yu , Daniel W. C. Ho

We propose to constrain the primordial (local-type) non-Gaussianity signal by first reconstructing the initial density field to remove the late time non-Gaussianities introduced by gravitational evolution. Our reconstruction algorithm…

Cosmology and Nongalactic Astrophysics · Physics 2025-08-21 Xinyi Chen , Nikhil Padmanabhan , Daniel J. Eisenstein

Statistical models with constrained probability distributions are abundant in machine learning. Some examples include regression models with norm constraints (e.g., Lasso), probit, many copula models, and latent Dirichlet allocation (LDA).…

Computation · Statistics 2015-06-22 Shiwei Lan , Babak Shahbaba

We consider the optimization of deep convolutional neural networks (CNNs) such that they provide good performance while having reduced complexity if deployed on either conventional systems utilizing spatial-domain convolution or lower…

Computer Vision and Pattern Recognition · Computer Science 2018-10-30 Yoojin Choi , Mostafa El-Khamy , Jungwon Lee

Genetic Programming (GP) has found various applications. Understanding this type of algorithm from a theoretical point of view is a challenging task. The first results on the computational complexity of GP have been obtained for problems…

Neural and Evolutionary Computing · Computer Science 2011-05-09 Markus Wagner , Frank Neumann

Parameterized complexity theory offers a framework for a refined analysis of hard algorithmic problems. Instead of expressing the running time of an algorithm as a function of the input size only, running times are expressed with respect to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-18 Sebastian Siebertz , Alexandre Vigny

In this paper, a novel low complexity bit and power loading algorithm is formulated for orthogonal frequency division multiplexing (OFDM) systems operating in fading environments and in the presence of unknown interference. The proposed…

Signal Processing · Electrical Eng. & Systems 2019-02-12 Ebrahim Bedeer , Mohamed F. Marey , Octavia A. Dobre , Mohamed H. Ahmed , Kareem E. Baddour