Search Results for author: Simon de Givry

Found 5 papers, 0 papers with code

Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective

no code implementations6 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.

Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming

no code implementations23 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.

Exact and approximate inference in graphical models: variable elimination and beyond

no code implementations29 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.

Tractability and Decompositions of Global Cost Functions

no code implementations9 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.

Bounds Arc Consistency for Weighted CSPs

no code implementations15 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.

Scheduling

Cannot find the paper you are looking for? You can Submit a new open access paper.