Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Constraint Processing
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Composition: Paradigms of Automated Music Generation
Algorithmic Composition: Paradigms of Automated Music Generation
Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Videogames in therapy: a therapist's perspective
Proceedings of the 3rd International Conference on Fun and Games
Towards a system model for ensembles
Formal modeling
Hi-index | 0.00 |
Monoidal soft constraints are a versatile formalism for specifying and solving multi-criteria optimization problems with dynamically changing user preferences. We have developed a prototype tool for interactive music creation, called Constraint Muse, that uses monoidal soft constraints to ensure that a dynamically generated melody harmonizes with input from other sources. Constraint Muse provides an easy to use interface based on Nintendo Wii controllers and is intended to be used in music therapy for people with Parkinson's disease and for children with high-functioning autism or Asperger's syndrome.