Search Results for author:
Found 3 papers, 0 papers with code
Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Banded matrices can be used as precision matrices in several models including linear state-space models, some Gaussian processes, and Gaussian Markov random fields.
The Complexity of Integer Bound Propagation
An important question is therefore whether strongly-polynomial algorithms exist that compute the common bound consistent fixpoint of a set of constraints.
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangeability.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
