|
|
|
|
|
|
|
|
|
|
|
対判別に基づく連続型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) | |
|