咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 艺术学
    • 1 篇 音乐与舞蹈学

主题

  • 1 篇 concurrent const...
  • 1 篇 interactive musi...
  • 1 篇 interaction
  • 1 篇 synchronization
  • 1 篇 event structures
  • 1 篇 ccp
  • 1 篇 ntcc
  • 1 篇 temporal constra...
  • 1 篇 concurrency

机构

  • 1 篇 pontificia univ ...
  • 1 篇 univ bordeaux en...

作者

  • 1 篇 desainte-catheri...
  • 1 篇 rueda camilo
  • 1 篇 toro mauricio

语言

  • 1 篇 英文
检索条件"主题词=temporal constraint programming"
1 条 记 录,以下是1-10 订阅
排序:
Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
收藏 引用
JOURNAL OF MATHEMATICS AND MUSIC 2014年 第1期8卷 93-112页
作者: Toro, Mauricio Desainte-Catherine, Myriam Rueda, Camilo Univ Bordeaux ENSEIRB Matmeca LaBRI SCRIMEIPBUMR 5600 Talence France Pontificia Univ Javeriana Cali Cali Colombia
Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need for a general and formal model aiming at ensuring safe ex... 详细信息
来源: 评论