Concurrent Constraint Conditional-Branching Timed Interactive Scores

05/03/2017
by   Mauricio Toro, et al.
0

Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We ran a prototype of our model in Ntccrt (a real-time capable interpreter for ntcc) and the response time was acceptable for real-time interaction. An advantage of ntcc over Max/MSP or Petri Nets is that conditions and global constraints are represented declaratively.

READ FULL TEXT
research
02/05/2016

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

We can program a Real-Time (RT) music improvisation system in C++ withou...
research
05/27/2011

Probabilistic Deduction with Conditional Constraints over Basic Events

We study the problem of probabilistic deduction with conditional constra...
research
02/09/2021

An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions

In this paper we introduce a typed, concurrent λ-calculus with reference...
research
07/25/2019

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Search strategies are crucial to efficiently solve constraint satisfacti...
research
09/05/2022

On the Horizon: Interactive and Compositional Deepfakes

Over a five-year period, computing methods for generating high-fidelity,...
research
03/15/2022

Interactive Robotic Grasping with Attribute-Guided Disambiguation

Interactive robotic grasping using natural language is one of the most f...

Please sign up or login with your details

Forgot password? Click here to reset