Do you notice a mistake?
NaN:NaN
00:00
Actuellement, une nouvelle librairie pour la programmation par contraintes est en développement. Celle-ci a pour particularité de permettre l'utilisation de variables relationnelles : des variables dont le domaine n'est plus composé d'un ensemble d'entiers ou d'un ensemble d'ensembles d'entiers, mais d'un ensemble de relations. De nouveaux types de propagateurs ont été et sont développés pour ces variables.
Cette nouveauté apporte un regard neuf sur la manière de modéliser des musical constraint satisfaction problems et permettra sans doute d'en résoudre d'autres que ceux existants. Dans cet exposé, les avancées obtenues jusqu'à maintenant seront décrites.
La programmation par contraintes est un paradigme de programmation déclaratif consistant en la définition puis la résolution de "CSPs" (constraints satifaction problems) : Un CSP détermine un certain nombre de variables pouvant prendre un ensemble (fini ou infini) de valeurs, et liées par des contraintes. De nombreux formalismes et techniques permettent de définir et résoudre ces problèmes, qui sont régulièrement explorés et utilisés dans les recherches et productions musicales contemporaines.
Cette journée sera l'occasion de faire le point sur ces recherches dans le domaine de la programmation par contraintes et leurs récentes ou possibles applications musicales. Elle est organisée à l'occasion de la sortie du livre Constraint Programming in Music, (Wiley/ISTE Ltd., dir. Charlotte Truchet et Gérard Assayag) qui sera présenté en introduction de la séance.
November 4, 2011 15 min
Concurrent constraint programming (CCP) is a modeling framework integrating two views of processes, as runnable specifications and as logic formulae. Model specifications in ccp use constraints both to express partial information about the
November 4, 2011 50 min
The constraints system within PWGL, PWGLConstraints, allows us to write rules using a special pattern-matching language. Typically, the assignments use as a starting point a score prepared with the help of Expressive Notation Package (ENP).
November 4, 2011 38 min
Je décrirai l'utilisation du logiciel de programmation par contrainte Gecode dans le contexte de résolution de problèmes compositionnels. La première motivation était de ressusciter un système qui a été développé dans les années 80 en Prol
November 4, 2011 47 min
Do you notice a mistake?