Interactive computer-aided composition with constraints
Résumé
Computer-aided composition systems enable composers to write programs to generate and transform musical scores. In this sense, constraint programming is appealing because of its declarative nature: the composer constrains the score and relies on a solver to automatically provide solutions. However, the existing constraint solvers often lack interactivity. Specifically, the composers do not participate in the selection of a particular solution. We propose an interactive search algorithm that enables the composer to alter and to navigate in the solution space. To this aim, we propose spacetime programming, a paradigm based on lattices and synchronous process calculi. The result is an interactive score editor with constraint support, and we experiment it on the all-interval series problem.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...