Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation

02/05/2016
by   Mauricio Toro, et al.
0

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 Concurrent Constraint (ntcc) calculus. "A Concurrent Constraints Factor Oracle (FO) model for Music Improvisation" (Ccfomi) is an improvisation model specified on ntcc. Since Ccfomi improvises non-deterministically, there is no control on choices and therefore little control over the sequence variation during the improvisation. To avoid this, we extended Ccfomi using the Probabilistic Non-deterministic Timed Concurrent Constraint calculus. Our extension to Ccfomi does not change the time and space complexity of building the FO, thus making our extension compatible with RT. However, there was not a ntcc interpreter capable of RT to execute Ccfomi. We developed Ntccrt --a RT capable interpreter for ntcc-- and we executed Ccfomi on Ntccrt. In the future, we plan to extend Ntccrt to execute our extension to Ccfomi.

READ FULL TEXT
research
08/17/2020

Deterministic concurrent systems

We introduce deterministic concurrent systems as a subclass of concurren...
research
05/03/2017

Concurrent Constraint Conditional-Branching Timed Interactive Scores

Multimedia scenarios have multimedia content and interactive events asso...
research
07/18/2021

Probabilistic Process Algebra for True Concurrency

The well-known process algebras, such as CCS, ACP and π-calculus, captur...
research
04/30/2021

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

We study encodings of the lambda-calculus into the pi-calculus in the un...
research
05/23/2021

Diagrammatic Polyhedral Algebra

We extend the theory of Interacting Hopf algebras with an order primitiv...
research
05/09/2022

A coherent differential PCF

The categorical models of the differential lambda-calculus are additive ...

Please sign up or login with your details

Forgot password? Click here to reset