堂下 修司


単語トレリスインデックスを用いた段階的探索による大語彙連続 音声認識
李 晃伸 河原 達也 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/01/25
Vol. J82-D2  No. 1  pp. 1-9
論文種別:  論文
専門分野: 音声,聴覚
キーワード: 
大語彙連続音声認識段階的探索アルゴリズム単語グラフトレリス
 あらまし | 本文:PDF(805.1KB)

A探索に基づいたフレーズスポッティングによる頑健な音声理解
河原 達也 北岡 教英 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/07/25
Vol. J79-D2  No. 7  pp. 1187-1194
論文種別:  論文
専門分野: 音声,聴覚
キーワード: 
音声理解言語モデルフレーズスポッティングA探索
 あらまし | 本文:PDF(568.8KB)

顔画像特徴,歩行画像特徴および音声特徴の統合による個人識別
前田 茂則 岡本 真明 河原 達也 美濃 導彦 池田 克夫 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/04/25
Vol. J79-D2  No. 4  pp. 600-607
論文種別:  特集論文 (マルチメディア論文特集)
専門分野: マルチメディアインタフェース
キーワード: 
個人識別マルチメディア顔画像識別歩行画像識別話者識別
 あらまし | 本文:PDF(612.2KB)

ヒューリスティックな言語モデルを用いた会話音声中の単語スポッティング
河原 達也 宗続 敏彦 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/07/25
Vol. J78-D2  No. 7  pp. 1013-1020
論文種別:  論文
専門分野: 音声,聴覚
キーワード: 
音声言語理解単語スポッティング言語モデルヒューリスティック探索
 あらまし | 本文:PDF(523.4KB)

単語対制約をヒューリスティックとするA*探索に基づく会話音声認識
河原 達也 松本 真治 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/01/25
Vol. J77-D2  No. 1  pp. 1-8
論文種別:  論文
専門分野: 音声処理
キーワード: 
連続音声認識HMMLRパーザA*探索単語対文法
 あらまし | 本文:PDF(559.1KB)

対判別に基づく連続型HMMによる音声認識
河原 達也 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/10/25
Vol. J75-D2  No. 10  pp. 1641-1648
論文種別:  論文
専門分野: 音声処理
キーワード: 
音声認識HMMベイズ識別器対判別
 あらまし | 本文:PDF(531KB)

判別分析とHMMの統合による不特定話者子音認識
河原 達也 堂下 修司 北澤 茂良 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/09/25
Vol. J73-D2  No. 9  pp. 1363-1372
論文種別:  論文
専門分野: 音声処理
キーワード: 
 あらまし | 本文:PDF(880.9KB)

ニューロコンピューティング―記号主義とパターン主義の統合に向けて―
堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1990/08/25
Vol. J73-D2  No. 8  pp. 1146-1147
論文種別:  特別企画
専門分野: オピオニン
キーワード: 
 あらまし | 本文:PDF(183.6KB)

同一性公理を用いた高階節形式論理の証明系について
三浦 欽也 堂下 修司 山崎 進 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/12/25
Vol. J72-D1  No. 12  pp. 845-855
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(1MB)

ユニファイア分離導出の定式化
吉田 幹 山崎 進 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/06/25
Vol. J72-D1  No. 6  pp. 455-464
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(674.7KB)

高階節形式論理におけるエルブランモデルについて
三浦 欽也  進 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1989/02/25
Vol. J72-D1  No. 2  pp. 83-91
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
 あらまし | 本文:PDF(601KB)

対判別による多群パターンの認識
北澤 茂良 児島 宏明 堂下 修司 
誌名:   電子情報通信学会論文誌 A
発行日: 1989/01/25
Vol. J72-A  No. 1  pp. 41-48
論文種別:  論文
専門分野: 音声
キーワード: 
 あらまし | 本文:PDF(767.8KB)

帰納的プログラムからHorn節集合への翻訳アルゴリズム
岸 知二 山崎 進 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/11/25
Vol. J65-D  No. 11  pp. 1342-1349
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(621.8KB)

不動点意味論に基づくHorn節集合の充足不能性判定
山崎 進 岸 知二 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/11/25
Vol. J65-D  No. 11  pp. 1334-1341
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(656KB)

Ackermannクラスの部分クラスに対する充足可能性問題とその関連問題の時間計算量
山崎 進 鈴木 博 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/06/25
Vol. J65-D  No. 6  pp. 703-710
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(706.1KB)

いくつかのクラスにおけるHorn節集合の充足不能性問題の計算量
山崎 進 岸 知二 石橋 稔彦 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1982/06/25
Vol. J65-D  No. 6  pp. 711-718
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(685.8KB)

単位導出反ばく存在判定の言語的性質
山崎 進 武濤 雄一郎 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1980/12/25
Vol. J63-D  No. 12  pp. 1088-1095
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(625.1KB)

Ackermannクラスに対する単位導出・制限付き線形導出反ばくの時間計算量
山崎 進 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1979/02/25
Vol. J62-D  No. 2  pp. 149-156
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(719.4KB)

入力導出を階層化した導出
山崎 進 村木 一至 葭矢 哲司 堂下 修司 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/09/25
Vol. J61-D  No. 9  pp. 605-612
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(671.7KB)

直接アクセス方式のバルクメモリを用いたLISPシステムの作成
堂下 修司 平松 孝一 角井 正昭 
誌名:   電子情報通信学会論文誌 D
発行日: 1978/05/25
Vol. J61-D  No. 5  pp. 360-361
論文種別:  技術談話室
専門分野: 
キーワード: 
 あらまし | 本文:PDF(167.5KB)

サンプル記号列を識別する最簡オートマトンの構成
榎本 肇 堂下 修司 富田 悦次 
誌名:   電子情報通信学会論文誌 D
発行日: 1972/03/25
Vol. J55-D  No. 3  pp. 210-217
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(776.4KB)