算術演算回路の形式的検証手法とその評価
スポンサーリンク
概要
- 論文の詳細を見る
- 2006-11-21
著者
-
本間 尚文
東北大学大学院情報科学研究科
-
青木 孝文
東北大学 大学院情報科学研究科
-
樋口 龍雄
東北工業大学工学部電子工学科
-
渡邉 裕樹
東北大学 大学院情報科学研究科
-
本間 尚文
東北大学 大学院情報科学研究科
-
Aoki Takafumi
Graduate School Of Information Sciences Tohoku University:(present Address)presto Jst.
-
Higuchi Tatsuo
Tohoku Inst. Technol. Sendai‐shi Jpn
-
Higuchi Tatsuo
Department Of Electronics Tohoku Institute Of Technology
-
Higuchi Tatsuo
Department Of Electronic Engineering Tohoku Institute Of Technology
-
Higuchi Tatsuo
The Department Of Electronics Faculty Of Engineering Tohoku Institute Of Technology
-
Higuchi Tatsuo
The Department Of System Information Sciences Graduate School Of Information Sciences Tohoku Univers
-
Higuchi Tatsuo
Hitachi Ltd. Central Research Laboratory
-
羽生 貴弘
東北大 電通研
-
渡辺 裕樹
名古屋大学大学院情報科学研究科 社会システム情報学専攻
関連論文
- 受動型ステレオビジョンを用いた2D・3D複合顔認証
- 暗号モジュールへのサイドチャネル攻撃とその安全性評価の動向(マルチメディア情報ハイディング技術とその応用論文)
- 位相限定相関法とそのバイオメトリクス認証への応用(チュートリアル講演,通信品質,メディア・インタフェース及び一般)
- 位相限定相関法による高精度画像マッチング--人体の画像計測および医用画像処理への適用を例として
- 位相情報を用いた主成分分析による掌紋認証アルゴリズム(テーマセッション,手,顔,身体表現の認識,理解)
- 位相情報を用いた主成分分析による掌紋認証アルゴリズム(テーマセッション4)
- 位相情報に基づく画像マッチング技術とその応用展開 : 3Dビジョンからバイオメトリクスまで
- 大規模災害のための歯科X線画像認識システムと性能評価(若葉研究者の集い2,サマーセミナー(若葉研究者の集い))
- 位相限定相関法に基づく画像マッチングのGPU実装とその応用(若葉研究者の集い4,サマーセミナー(若葉研究者の集い))
- 位相限定相関法を用いた3次元計測の高精度化と性能評価(若葉研究者の集い3,サマーセミナー(若葉研究者の集い))