キーワード : 完全性


非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証
籠谷 裕人 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/11/01
Vol. J93-D  No. 11 ; pp. 2343-2353
論文種別:  論文
専門分野: 計算機システム
キーワード: 
非同期式パイプライン依存性グラフアルゴリズム正当性完全性
 あらまし | 本文:PDF(327.2KB)

航法システムのマルチパス検出に関する一考察
田嶋 裕久 福島 荘之介 横山 尚志 
誌名:   電子情報通信学会論文誌 B
発行日: 2001/04/01
Vol. J84-B  No. 4 ; pp. 794-800
論文種別:  論文
専門分野: 航行・誘導・制御方式
キーワード: 
航法システム波形マルチパス誤差RNP完全性
 あらまし | 本文:PDF(688.5KB)

連体修飾構造を取り扱える名辞論理体系LVPMの完全性
西原 典孝 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/04/25
Vol. J75-D2  No. 4 ; pp. 780-790
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
論理完全性知識表現
 あらまし | 本文:PDF(603.4KB)