|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/10301
|
| タイトル: | Melodic Morphing Algorithm in Formalism |
| 著者: | Hirata, Keiji
Tojo, Satoshi
Hamanaka, Masatoshi |
| キーワード: | GTTM
Time-span reduction
feature structure
similarity
interpolation |
| 発行日: | 2011-06-18 |
| 出版者: | Springer |
| 誌名: | Lecture Notes in Computer Science |
| 巻: | 6726/2011 |
| 開始ページ: | 338 |
| 終了ページ: | 341 |
| DOI: | 10.1007/978-3-642-21590-2_28 |
| 抄録: | Up to now, experiments run with many subjects are almost the only way for demonstrating the validity of a musical algorithm. In contrast, we employ formalism to verify that a melodic morphing algorithm correctly works as specified. The way we present in the paper is formal, theoretical, and viable. We provide a full-fledged feature structure for representing a time-span tree of ``A Generative Theory of Tonal Music'' (GTTM). The key idea here is that the GTTM reduction is identified with the subsumption or the ``is-a'' relation, which is the most fundamental relation in knowledge representation. Since we obtain the domain in which a partial order is defined, we introduce the join and meet operations based on unification. In such an algebraic framework, as preliminaries of the proof of a melodic morphing algorithm, we introduce the following notions: reduction path, melodic complexity, similarity, and interpolation. These notions are defined using the subsumption relation, join and meet, in a formal way. Thenwe take the melodic morphing algorithm proposed by Hamanaka et al. (2008) because it is constructed using the join and meet operations. Finally we prove the theorem that the melodies generated by the algorithm are the interpolations of two given melodies. |
| Rights: | This is the author-created version of Springer, Keiji Hirata, Satoshi Tojo and Masatoshi Hamanaka, Lecture Notes in Computer Science, 6726/2011, 2011, 338-341. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-21590-2_28 |
| URI: | http://hdl.handle.net/10119/10301 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 17581.pdf | | 310Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
