In this paper, we propose a new data gathering mechanism for large scale wireless sensor
networks by introducing mobility into the network. A mobile data collector, or for convenience …

In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …

The article demonstrates the specificity of Artificial Intelligence in musical composition. As a
result of theoretical analysis of the work of the algorithms of intellectual systems, the range of …

We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we
developed a verification tool for pntcc models. Using this tool we can prove properties such …

In this article we present Gelisp, a new library to represent musical Constraint Satisfaction
Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one …

Interactive Scores is a formalism for the design and performance of interactive scenarios that
provides temporal relations (TRs) among the objects of the scenario. We can model TRs …

We can program a Real-Time (RT) music improvisation system in C++ without a formal
semantic or we can model it with process calculi such as the Non-deterministic Timed …

Interactive Scores (IS) are a formalism for the design and performance of interactive
multimedia scenarios. IS provide temporal relations (TR), but they cannot represent …

Software to design multimedia scenarios is usually based either on a fixed timeline or on
cue lists, but both models are unrelated temporally. On the contrary, the formalism of …

Writing music interaction systems is not easy because their concurrent processes usually
access shared resources in a non-deterministic order, often leading to unpredictable …