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 …

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 …

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 paper we extend palps, a process calculus proposed for the spatially-explicit
individual-based modeling of ecological systems, with the notion of a policy. A policy is an …

В статье выявляется специфика применения искусственного интеллекта (ИИ) в
области музыкальной композиции. В результате теоретического анализа алгоритмов …

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 …

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 …

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