2015/08/23 by Mauricio Toro, Toro, Mauricio · 5 citations
Computer Science · #D.1.6 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Music Technology and Sound Studies #Music and Audio Processing #Video Analysis and Summarization
paper · pdf · doi:10.48550/arxiv.1508.05559
openalex publication_date 2015/08/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.