二分決定グラフの非明示的表現の効率的な演算手法
スポンサーリンク
概要
- 論文の詳細を見る
二分決定グラフ (Binary Decision Diagrams:以下BDD) は、論理関数を計算機上で効率良く表現する方法として広く用いられているが, 近年の回路の大規模化により, BDDでも記憶領域が不足するような論理関数がしばしば出現し, 問題となっている. これに対して, 著者らはBDDの非明示的表現法 (inlplicit representation of BDDs:以下iBDD) を既に提案しているが, その演算効率の悪さのため, 現実に用いることは困難であった. そこで本稿では, iBDD表現に従来のBDDに用いられている否定枝に相当する特性を持たせるとともに, 演算手法を従来のBDDの再帰的な演算手法に変更することにより, 演算をより高速に行う手法を提案する. nビット加算関数に対する実験により, 従来はO (n^<2.14>) の時間が必要であったのに対して, O (n^<1.01>) の時間で済むことが確かめられた.
- 社団法人電子情報通信学会の論文
- 1997-10-29
著者
関連論文
- 全身の押し付け力を検出できるロボット競技評価用の小型レスキューダミーの開発
- 形状と色に基づくニューラルネットワークを用いた道路標識の分類
- レスキューロボットコンテストのための競技運営支援システムの開発と評価(支援・管理システム,システム開発論文)
- タブーサーチを用いた重み付きボロノイ領域の重み決定法とその応用
- レスキューロボットコンテストのための競技運営システムの構築と評価(情報システムとモデリングおよび一般課題)
- O-001 レスキューロボットコンテストのための競技運営システムの開発(情報システム,一般論文)
- I-047 色分布を用いた動的輪郭モデルによる実時間移動体追跡(グラフィクス・画像,一般論文)
- 画像の多重分割とエッジ肥大化を用いた照明変化に頑健な物体領域抽出法(画像認識,コンピュータビジョン)
- 複数のプローブカーによる道路形状情報の統合処理(画像工学1,ITS画像処理,映像メディア,一般)
- 連続フレームからの抽出画像の重ね合わせによるロバストな道路標識認識手法(画像認識,コンピュータビジョン)
- 複数のプローブカーによる道路形状情報の統合処理 (ヒューマンインフォメーション・メディア工学・映像表現&コンピュータグラフィックス)
- 異文化型島モデルを組み込んだGPにおける効率改善
- レスコンの得点計算システム(「レスキューロボットコンテスト」)
- 連続フレームからの抽出画像の重ね合わせによる障害物遮蔽を考慮した道路標識認識(ITS画像処理, データベース, 一般)
- A-020 遺伝的プログラミングによる巡回セールスマン問題の解法について(A分野:モデル・アルゴリズム・プログラミング)
- 路面色抽出による動的道路地図作成の提案
- 路面色抽出による動的道路地図作成の提案(ITS・車, ITS画像処理, 映像メディア及び一般)
- 輪郭ベクトルによる道路標識認識に向けた特定色判定
- 輪郭ベクトルによる道路標識認識に向けた特定色判定(高精細画像の処理・表示,及び一般)
- 最小コストフロー問題の高速解法とそのVLSIコンパクション問題への適用
- コンパクション問題に対するフロｰ･テンション平衡理論の適用
- 路傍色相情報に基づいた形状統合による道路地図作成プローブシステム
- タブーサーチを用いた重み付きボロノイ領域の重み決定法とその応用(理論・技術)
- SOMを用いた道路標識の分類と認識(映像・マルチメディア処理及び一般)
- SOMを用いた道路標識の分類と認識(映像・マルチメディア処理及び一般)
- SOMを用いた道路標識の分類と認識
- バイナリーニューラルネットによるナース・スケジューリング問題の基本解の導出
- c-meansクラスタリングを用いた複数デポ巡回セールスマン問題の発見的解法(グラフとネットワーク)
- 免疫アルゴリズムを用いたスケジューリング問題の一解法(スケジューリング)
- A-1-20 均等化係数を指定した複数デポ巡回セールスマン問題
- 複数のプローブカーによる道路形状情報の統合処理(画像工学1,ITS画像処理,映像メディア,一般)
- 路面色抽出による動的道路地図作成の提案(ITS・車, ITS画像処理, 映像メディア及び一般)
- 追跡画像の重ね合わせによる道路標識認識--遠方の道路標識や隠れのある道路標識を認識する
- 輪郭ベクトルの追跡による道路標識の認識--抽出画像のサイズに依存しない道路標識の認識
- 解説 特定色判別と領域限定を用いた道路標識の抽出--高速かつ高精度な道路標識認識システムに向けて
- A-018 タブーサーチを用いた重み付きボロノイ領域の重み決定法とその応用(モデル・アルゴリズム・プログラミング,一般論文)
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察(高精細画像の処理・表示,及び一般)
- 影理論の散乱因子を用いた導電性ストリップを持つ複合誘電体格子の計算法 (レーザ・量子エレクトロニクス)
- 影理論の散乱因子を用いた導電性ストリップを持つ複合誘電体格子の計算法 (光エレクトロニクス)
- 影理論の散乱因子を用いた導電性ストリップを持つ複合誘電体格子の計算法 (フォトニックネットワーク)
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討(高精細画像の処理・表示,及び一般)
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察
- A-003 大域的最適化に対する逆正接型トンネリングアルゴリズムの提案(A分野:モデル・アルゴリズム・プログラミング,一般論文)
- 菱形道路標識の認識に向けた抽出精度向上に関する検討
- 二分決定グラフの非明示的表現法とその操作法
- 二分決定グラフの非明示的表現法
- A-62 二分決定グラフの非明示的表現法(A-3. VLSI設計技術,一般講演)
- I-069 BP-RRCの動的しきい値決定法(I分野:グラフィクス・画像,一般論文)
- M-074 周辺の色相情報を考慮した道路形状情報の統合手法(ユビキタス・モバイルコンピューティング,一般論文)
- ファジィc-means法を用いた複数巡回セールスマン問題の一解法
- A-2-23 ハミング距離を用いたCNN連想判別
- CNN連想判別システムの最適化
- バイナリーニューラルネットワークのための収束促進項の提案
- 拡張アソシアトロンを用いた連想判別
- 特異値分解を用いたセルラニューラルネットワークにおける連想記憶に対する考察
- 菱形道路標識の認識に向けた抽出精度向上に関する検討(高精細画像の処理・表示,及び一般)
- 菱形道路標識の認識に向けた抽出精度向上に関する検討
- 輪郭ベクトルの追跡による道路標識の認識(画像処理)
- 輪郭ベクトル追跡による道路標識の認識(映像メディアおよび一般 : インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 輪郭ベクトル追跡による道路標識の認識
- 輪郭ベクトル追跡による道路標識の認識
- 特定色判別と領域限定を用いた円形道路標識の抽出
- 認識処理に向けた円形道路標識の高精度な抽出手法(映像メディアおよび一般 インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 認識処理に向けた円形道路標識の高精度な抽出手法
- 認識処理に向けた円形道路標識の高精度な抽出手法
- A RECOGNITION TECHNIQUE OF ROAD SIGNS BY TRACING OUTLINE VECTORS (Computer Vision, Medical Applications and Networked MM)(International Workshop On Advanced Image Technology (IWAIT2004))
- C-1-24 散乱因子を用いた導電体ストリップを持つ複合誘電体格子の解析(C-1.電磁界理論,一般セッション)
- NVP設計問題への異文化型島モデルによるGAの適用
- 影理論の散乱因子を用いた導電性ストリップを持つ複合誘電体格子の計算法
- レスキューロボットコンテスト競技運営支援システムのデータベース設計と実装
- クーリング操作を導入した逆正接型トンネリング・アルゴリズムの提案
- JPEG2000における適応圧縮に向けたタイル分類についての一検討(映像メディアおよび一般 インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- JPEG2000における適応圧縮に向けたタイル分類についての一検討
- JPEG2000における適応圧縮に向けたタイル分類についての一検討
- ウェーブレット変換を用いた適応圧縮についての一検討
- ウェーブレット変換を用いた適応圧縮についての一検討
- 二分決定グラフの非明示的表現における節点符号化法
- 二分決定グラフの非明示的表現における節点符号化法
- 二分決定グラフの非明示的表現における節点符号化法
- ZBDDによる二分決定グラフの非明示的表現
- 二分決定グラフの非明示的表現の効率的な演算手法
- 5-7 時系列画像の各フレームにおける検出結果を統合した白線検出(第5部門 画像・映像処理2)
- クーリング操作を導入した逆正接型トンネリング・アルゴリズムの提案
- 5-9 平行設置に拠らないカメラによる視差を用いた距離情報の計測(第5部門 画像・映像処理2)
- 拡張型情報レシオを用いた共存型GAによるナース・スケジューリング
- ウェーブレット変換を用いた適応圧縮についての一検討
- 人間との握手接近動作を行う小型握手ロボットシステム
- H-029 リーチ長変動検出型BP-RRCによる物体検出(特定物体認識,H分野:画像認識・メディア理解)
- エネルギー保存を考慮した画像の線形変換法 (ライフインテリジェンスとオフィス情報システム)
- エネルギー保存を考慮した画像の線形変換法 (画像工学)
- エネルギー保存を考慮した画像の線形変換法 (マルチメディア情報ハイディング・エンリッチメント)
- エネルギー保存を考慮した画像の線形変換法 (メディア工学)
- エネルギー保存を考慮した画素値分布推定法 (画像工学)
- エネルギー保存を考慮した画素値分布推定法(画像処理・符号化及び一般)
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)
- エネルギー保存を考慮した画像の線形変換法(マルチメディア通信/システム,ライフログ活用技術,IP放送/映像伝送,メディアセキュリティ,一般)