research
∙
02/26/2019
Banded Matrix Operators for Gaussian Markov Models in the Automatic Differentiation Era
Banded matrices can be used as precision matrices in several models incl...
share
research
∙
01/16/2014
The Complexity of Integer Bound Propagation
Bound propagation is an important Artificial Intelligence technique used...
research
∙
01/15/2014
