スポンサーリンク
日本電信電話株式会社 NTTコミュニケーション科学基礎研究所 | 論文
- 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- C-016 ベイズ情報量規準に基づくK-Meansクラスタリングのためのアーキテクチャ(C分野:ハードウェア・アーキテクチャ,一般論文)
- 6ZN-4 ニュース映像間の意味構造を利用したWikipedia情報の拡張(情報爆発時代におけるマルチメディア処理,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
- π-計算の名前制限の名前生成による実装の正しさ
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 逐次発話理解法による対話音声理解(音声,聴覚)
- 逐次理解を行う音声対話システムの発話理解評価法
- 逐次理解を行う音声対話システムの発話理解評価法
- N-Best 認識候補を用いた逐次言語理解によるロバストな音声理解法
- n-best音声認識と逐次理解法によるロバストな音声理解
- n-best音声認識と逐次理解法によるロバストな音声理解
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- 焦点形成スピーカアレーに対する空間窓の効果
- 名作詰将棋における感性の定量的評価
- 若年者と高齢者の単語親密度の差について
- 聴覚障害者のための単語了解度試験用単語リストの提案