no code implementations • 6 Jan 2022 • Tomáš Dlask, Tomáš Werner, Simon de Givry
The notion of reparametrizations of Weighted CSPs (WCSPs) (also known as equivalence-preserving transformations of WCSPs) is well-known and finds its use in many algorithms to approximate or bound the optimal WCSP value.
no code implementations • 23 Jun 2021 • Fulya Trösser, Simon de Givry, George Katsirelos
Bayesian networks are probabilistic graphical models with a wide range of application areas including gene regulatory networks inference, risk analysis and image processing.
no code implementations • 29 Jun 2015 • Nathalie Peyrard, Marie-Josée Cros, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, Matthieu Vignes
We illustrate the techniques reviewed in this article on benchmarks of inference problems in genetic linkage analysis and computer vision, as well as on hidden variables restoration in coupled Hidden Markov Models.
no code implementations • 9 Feb 2015 • David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Kam Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu
A global cost function is called tractable projection-safe when applying an EPT to it is tractable and does not break the tractability property.
no code implementations • 15 Jan 2014 • Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
Motivated by the resolution of an RNA gene localization problem inside large genomic sequences, and in the spirit of bounds consistency for large domains in crisp CSPs, we introduce soft bounds arc consistency, a new weighted local consistency specifically designed for WCSP with very large domains.