電子情報通信学会論文誌 D

Online ISSN : 1881-0225
Volume J89-D No.4  (発行日:2006/04/01)
前月号 | 
次月号

フォーマルアプローチ論文特集

pp.623-623  巻頭言
フォーマルアプローチ論文特集の発行にあたって
東野 輝夫  
あらまし | 本文:PDF (31.2KB) >>論文を購入

pp.624-631  論文-計算モデル
ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価
佐藤 晴彦  栗原 正仁  
あらまし | 本文:PDF (406.7KB) >>論文を購入

pp.632-641  論文-計算モデル
π計算に対する時間拡張と合同的性質
桑原 寛明  結縁 祥治  阿草 清滋  
あらまし | 本文:PDF (258.2KB) >>論文を購入

pp.642-650  論文-計算モデル
時相論理の充足可能性判定器のための論理式生成法
関澤 俊弦  高井 利憲  田辺 良則  高橋 孝一  
あらまし | 本文:PDF (242.5KB) >>論文を購入

pp.651-659  論文-ハードウェア
状態遷移表現への変換に基づくハードウェア/ソフトウェア協調設計の形式的検証手法
西原 佑  松本 剛史  小松 聡  藤田 昌宏  
あらまし | 本文:PDF (604.7KB) >>論文を購入

pp.660-673  論文-ハードウェア
高位仕様記述からの非同期式回路自動合成について
松本 敦  米田 友洋  
あらまし | 本文:PDF (1.4MB) >>論文を購入

pp.674-682  論文-ハードウェア
モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法
垣内 洋介  北嶋 暁  浜口 清治  柏原 敏伸  
あらまし | 本文:PDF (313.7KB) >>論文を購入

pp.683-692  論文-ソフトウェア
時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法
長井 栄吾  牧寺 彩  岡野 浩三  谷口 健一  
あらまし | 本文:PDF (351.4KB) >>論文を購入

pp.693-704  論文-ソフトウェア
モデル生成法に基づくJavaScriptプログラム型検査の機械実行
大久保 弘崇  山本 晋一郎  坂部 俊樹  稲垣 康善  
あらまし | 本文:PDF (544.5KB) >>論文を購入

pp.705-715  論文-ソフトウェア
XML文書に対するアクセシビリティガイドライン適合性検証
高田 喜朗  中村 岳志  関 浩之  
あらまし | 本文:PDF (258.2KB) >>論文を購入

pp.716-725  論文-セキュリティ
第三者機関を利用したワンタイムIDシステムの設計,及び信用論理による安全性検証
今本 健二  櫻井 幸一  
あらまし | 本文:PDF (260.6KB) >>論文を購入

pp.726-742  論文-セキュリティ
UMLによるプロテクションプロファイルのモデル化とその形式的検証
森本 祥一  程 京徳  
あらまし | 本文:PDF (392.3KB) >>論文を購入

一般論文

pp.743-754  論文-コンピュータシステム
動的再構成可能プロセッサを用いたIPsec向け暗号処理アクセラレータの設計と実装
長谷川 揚平  阿部 昌平  松谷 宏紀  安生 健一朗  粟島 亨  天野 英晴  
あらまし | 本文:PDF (571.1KB) >>論文を購入

pp.755-766  論文-ソフトウェア工学
ファンクションポイント法を応用した早期見積技法の提案とそのシステム化
原田 晃  幕田 行雄  石川 貞裕  大野 治  楠本 真二  井上 克郎  
あらまし | 本文:PDF (1.8MB) >>論文を購入

pp.767-777  論文-コンテンツ技術,Web情報システム
データ処理性能を改善するXML文書のコンパクト化法の開発
吉田 茂  中島 哲  小田切 淳一  伊藤 秀一  
あらまし | 本文:PDF (320.6KB) >>論文を購入

pp.778-787  論文-ディペンダブルコンピューティング
検出/非検出情報に基づくオープン故障の一診断法
佐藤 雄一  高橋 寛  樋上 喜信  高松 雄三  
あらまし | 本文:PDF (326.6KB) >>論文を購入

pp.788-796  論文-人工知能,認知科学
行動選択確率に基づく動的強化関数を用いた強化学習手法
長谷川 雄吾  高田 沙都子  中野 秀洋  荒井 秀一  宮内 新  
あらまし | 本文:PDF (423.5KB) >>論文を購入

pp.797-806  論文-教育工学
日本語学習者のカタカナ語理解を支援する英単語検索システムの検討
諏訪 いずみ  高橋 勇  黒岩 丈介  小高 知宏  小倉 久和  
あらまし | 本文:PDF (325.3KB) >>論文を購入

pp.807-815  論文-音声,聴覚
CELPの聴覚的劣化感を低減する音源符号帳探索方式の検討
山浦 正  田崎 裕久  高橋 真哉  
あらまし | 本文:PDF (283.1KB) >>論文を購入

pp.816-825  論文-画像認識,コンピュータビジョン
確率的手法を用いた車両の検出とクラス認識
シャミラ モホッタラ  影沢 政隆  池内 克史  
あらまし | 本文:PDF (539.8KB) >>論文を購入

pp.826-835  論文-画像認識,コンピュータビジョン
動的背景の学習による未知物体領域の実時間抽出法
川端 聡  日浦 慎作  佐藤 宏介  
あらまし | 本文:PDF (831.9KB) >>論文を購入

pp.836-849  論文-画像認識,コンピュータビジョン
色エッジ及び並列実行の領域統合を用いたWatershed画像領域分割法の改善
趙 延軍  長谷山 美紀  北島 秀夫  
あらまし | 本文:PDF (1.8MB) >>論文を購入

pp.850-859  論文-画像認識,コンピュータビジョン
GAを用いた方形ピースジグソーパズルの組立て
外山 史  東海林 健二  宮道 壽一  
あらまし | 本文:PDF (724KB) >>論文を購入

pp.860-870  論文-自然言語処理
比喩解釈を目的とするWorld Wide Webを利用した属性値の適合性判定手法とそのフィードバック
桝井 文人  福本 淳一  荒木 健治  
あらまし | 本文:PDF (401.4KB) >>論文を購入

pp.871-882  論文-バイオサイバネティックス,ニューロコンピューティング
脳活動における多重内部モデルの再構成
戸田 明祐  今水 寛  樋口 さとみ  和田 安弘  川人 光男  
あらまし | 本文:PDF (1.4MB) >>論文を購入

pp.883-887  レター
最適強度組合せパターン光投影手法と強度・位相解析手法を用いた高速高感度な三次元計測
長 元気  盧 存偉  
あらまし | 本文:PDF (405.9KB) >>論文を購入

pp.888-892  レター
エッジ成分の取捨選択を考慮した適応型部分平均フィルタ
高橋 規之  李 鎔範  蔡 篤儀  
あらまし | 本文:PDF (335.6KB) >>論文を購入

pp.893-896  レター
カラー情報と明度情報を利用した情景画像中の文字列の高精度抽出
平山 勝裕  大町 真一郎  阿曽 弘具  
あらまし | 本文:PDF (316.2KB) >>論文を購入

前月号 | 
次月号
ページTOPへ