1 Search Results for "Toro-Bermudez, Mauricio"

Document
DOI: 10.4230/LIPIcs.ICLP.2010.300
Structured Interactive Musical Scores

Authors: Mauricio Toro-Bermudez

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

Abstract
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.
Cite as

Mauricio Toro-Bermudez. Structured Interactive Musical Scores. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 300-302, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{torobermudez:LIPIcs.ICLP.2010.300,
  author =	{Toro-Bermudez, Mauricio},
  title =	{{Structured Interactive Musical Scores}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{300--302},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.300},
  URN =		{urn:nbn:de:0030-drops-26134},
  doi =		{10.4230/LIPIcs.ICLP.2010.300},
  annote =	{Keywords: Ntcc, ccp, interactive scores, temporal relations, faust, ntccrt, heterogeneous systems, automatic verification}
}
  • Refine by Author
  • 1 Toro-Bermudez, Mauricio

  • Refine by Classification

  • Refine by Keyword
  • 1 Ntcc
  • 1 automatic verification
  • 1 ccp
  • 1 faust
  • 1 heterogeneous systems
  • Show More...

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact