Výsledky vyhledávání - "Vautard, Jérémie"

Dissertation/ Thesis

Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées

Autor: Vautard, Jérémie

Cette thèse s’inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendantla programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ouuniversels, ce qui apporte en thé

Externí odkaz: http://www.theses.fr/2010ORLE2008/document

Zobrazit plný text záznamu

Unblockable QCSP+ : a special case of quantified problems

Autor: Vautard, Jérémie

Publikováno v: Second International Workshop on Quantification in Constraint Programming
Second International Workshop on Quantification in Constraint Programming, Sep 2008, Sydney, Australia

t. This paper deﬁnes a special case of QCSP+ where it is assured that the restricted quantiﬁcation will never empty the domain of a variable. This subset of problems intuitively corresponds to two-player games where it is not possible to prevent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4f07bd0e22a94e851ea8d53fdb290786
https://hal.archives-ouvertes.fr/hal-00468755

Zobrazit plný text záznamu

Extraction de Motifs sous Contraintes Quantifiées

Autor: Khiari, Medhi, Lallouet, Arnaud, Vautard, Jérémie

Publikováno v: Huitièmes Journées Francophones de Programmation par Contraintes-JFPC 2012
Huitièmes Journées Francophones de Programmation par Contraintes-JFPC 2012, May 2012, Toulouse, France

National audience; Au cours des dernières années, des approches d'extraction de motifs en fouille de données utilisant la PPC on été proposées. Ces approches ont montré leur utilité pour modéliser de manière flexible une large panoplie de c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10f46197b621e8aaf1796a45b9cf09a0
https://hal.inria.fr/hal-00826037/file/paper_26.pdf

Zobrazit plný text záznamu

Decision and hierarchical optimisation problem modeling and solving by use of quantified contraints

Autor: Vautard, Jérémie

Publikováno v: Autre [cs.OH]. Université d'Orléans, 2010. Français. ⟨NNT : 2010ORLE2008⟩

This thesis presents works in the research area of quantified constraint programming, which extends theconstraint programming framework by setting (existential and universal) quantifiers to the problem’s variables.This framework is theoretically ex

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::e0e848589e6d4e2f2fdb6f49bab6923f
https://tel.archives-ouvertes.fr/tel-00486721v2/file/jeremie.vautard_2063.pdf

Zobrazit plný text záznamu

QCSP non bloquants : un cas spécial de problèmes quantifiés

Autor: Lallouet, Arnaud, Vautard, Jérémie

Publikováno v: Colloque sur l'Optimisation et les Systèmes d'Information
Colloque sur l'Optimisation et les Systèmes d'Information, Apr 2010, Ouargla, Algérie. pp.446-456

International audience; Ce papier présente un cas spécial de QCSP+appelé QCSP+non bloquants, dans lesquels les restrictions posées sur les quantificateurs ne vident jamais le domaine d'une variable. Intuitivement, ces cas spéciaux correspondent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::12dfb450e85489c399bc12756a0ae0a7
https://hal.archives-ouvertes.fr/hal-01009587

Zobrazit plný text záznamu

QCSP Made Practical by Virtue of Restricted Quantification

Autor: Benedetti, Marco, Lallouet, Arnaud, Vautard, Jérémie

Publikováno v: IJCAI 2007, International Joint Conference on Artificial Intelligence
Jan 2007, Hyderabad, India. pp.38-43

International audience; The QCSP+ language we introduce extends the framework of Quantified Constraint Satisfaction Problems (QCSPs) by enabling us to neatly express restricted quantifications via a chain of nested CSPs to be interpreted as alternate

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b65be1cecbe0b78bfdf7e261d671c91c
https://hal.archives-ouvertes.fr/hal-00144921

Zobrazit plný text záznamu

Visualisation musicale d'un CSP

Autor: Vautard, Jérémie, Lallouet, Arnaud

Publikováno v: Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06)
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes-Ecole des Mines d'Alès / France

Cet article décrit plusieurs méthodes d'auralisation afin de réaliser des pièces musicales à partir de la trace d'éxécution d'un CSP au format xml GenTra4CP. Ces méthodes sont essentiellement basées sur des associations entre évènements de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9d673c456c23e3c932f3ae30b0601ca1
https://hal.inria.fr/inria-00085811/file/49.pdf

Zobrazit plný text záznamu