本文へジャンプ

発表論文

  • 小林 瑞紀，手塚 宏史，稲葉 真理.

    楽譜を用いた楽器音分離手法の提案

    .in the エンターテインメント　コンピューティングシンポジウム 2015(EC2015).札幌市、北海道.September2015.--Articles snd Conferences
  • 西野兼治・稲葉真理.

    ベイジアンネットワークの生成に基づく特徴抽出

    .in the ニューロコンピューティング研究会.徳島県、 徳島市.July2015.--Articles snd Conferences
  • ムン ソンス, 手塚宏史，稲葉真理.

    変数のindexのshuffleによる多様性効果について

    .in the 2015年度 人工知能学会全国大会（第29回）.函館市、北海道.May2015.--Articles snd Conferences
  • 尾崎 直人, 手塚宏史，稲葉真理.

    大規模ネットワークにおけるコミュニティ検出手法の高速化

    .in the 2015年度 人工知能学会全国大会（第29回）.函館市、北海道.May2015.--Articles snd Conferences
  • 戸ヶ崎 仁宣, 手塚宏史，稲葉真理.

    SAT問題におけるCommunity rankの提案

    .in the 2015年度 人工知能学会全国大会（第29回）.函館市、北海道.May2015.--Articles snd Conferences
  • 近藤秀弥，手塚宏史，稲葉真理.

    リアルタイム消費電流計測機能を活用する低消費電力FPGAアクセラレータ

    .in the 並列／分散／協調処理に関する 『新潟』サマー・ワークショップ（SWoPP新潟2014）.新潟市，新潟県.July2014.--Articles snd Conferences
  • Tomohiro Sonobe, Shuya Kondoh and Mary Inaba.

    Community Branching for Parallel Portfolio SAT Solvers

    .in the The International Conferences on Theory and Applications of Satisfiability Testing (SAT2014).Viena,Austria.July2014.--Articles snd Conferences
  • Kei Hiraki, Mary Inaba, Akira Kato, .

    Efficient utilization of 40/100 Gbps long-distance network by a single TCP stream

    .in the TERENA NETWORKING CONFERENCE (TNC2013).Maastricht, Netherland.June2013.--Articles snd Conferences
  • Tomohiro Sonobe, Mary Inaba.

    Portfolio with Block Branching for Parallel SAT Solvers

    .in the Learning and Intelligent Optimization Conference, LION7.Catania, Italy.January2013.--Articles snd Conferences
  • Tomohiro Sonobe and Mary Inaba.

    Division and Alternation of Decision Variables

    .in the Pragmatics of SAT 2012.Trento, Italy.June2012.--Articles snd Conferences