Charlotte Truchet

Learn More
This paper introduces a geometrical constraint kernel for handling the location in space and time of polymorphic k-dimensional objects subject to various geometrical and time constraints. The constraint kernel is generic in the sense that one of its parameters is a set of constraints on subsets of the objects. These constraints are handled globally by the(More)
We propose a probabilistic model for the parallel execution of Las Vegas algorithms, i.e. randomized algorithms whose runtime might vary from one execution to another, even with the same input. This model aims at predicting the parallel performances (i.e. speedups) by analyzing the runtime distribution of the sequential runs of the algorithm. Then, we study(More)
Constraint Programming (CP) allows to model and solve combinatory problems by specifying some partial information on variables, unknowns of the problem. We have studied musical constraint problems, either stated by contemporary composers, or of musical analysis, or instrumentation, in collaboration with IRCAM (french Institute for Research and Coordination(More)
This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-rectangles) subject to the fact that they should not pairwise overlap. While the first two ways deal with the integration of a chain of lexicographic ordering constraint within a generic(More)
We present two musical problems which are interesting examples of musical CPs. The first one deals with harp music from Nzakara people of Central African Republic, where canon structures have been discovered. The computation of such structures is a critical problem for constraint solvers in the sense that there are no exact solutions, the only possible way(More)
We propose an environment for musical constraint solving, adapted to contemporary composition, in the visual programming language OpenMusic. We describe the use of two algorithms, a complete one and an incomplete one. The latter is a local search algorithm, called adaptive search. Adaptive search refines the concept of cost function by taking into account(More)
We propose an environment for musical constraint solving, adapted to contemporary composition, in the visual programming language OpenMusic. The composer start with a predefined score and set constraint between some objects in a visual way. These constraints are translated in a specific syntax in order to be solved using an algorithm of adaptive research.(More)