二分決定グラフの非明示的表現法
スポンサーリンク
概要
- 論文の詳細を見る
二分決定グラフ(BDD)は論理関数の効率的な表現法として知られているが,近年,VLSIの計算機授用設計の分野では,BDDをもってしても表現しきれないような大規模な論理関数が頻繁に現れるようになってきた.本稿ではBDDのグラフとしての形質を論理関数によって非明示的に表すことにより,より大規模な論理関数を扱える手法を提案する.
- 電子情報通信学会の論文
- 1994-09-26
著者
関連論文
- 形状と色に基づくニューラルネットワークを用いた道路標識の分類
- 画像の多重分割とエッジ肥大化を用いた照明変化に頑健な物体領域抽出法(画像認識,コンピュータビジョン)
- 複数のプローブカーによる道路形状情報の統合処理(画像工学1,ITS画像処理,映像メディア,一般)
- 連続フレームからの抽出画像の重ね合わせによるロバストな道路標識認識手法(画像認識,コンピュータビジョン)
- 複数のプローブカーによる道路形状情報の統合処理 (ヒューマンインフォメーション・メディア工学・映像表現&コンピュータグラフィックス)
- 異文化型島モデルを組み込んだGPにおける効率改善
- 連続フレームからの抽出画像の重ね合わせによる障害物遮蔽を考慮した道路標識認識(ITS画像処理, データベース, 一般)
- A-020 遺伝的プログラミングによる巡回セールスマン問題の解法について(A分野:モデル・アルゴリズム・プログラミング)
- 路面色抽出による動的道路地図作成の提案
- 路面色抽出による動的道路地図作成の提案(ITS・車, ITS画像処理, 映像メディア及び一般)
- 輪郭ベクトルによる道路標識認識に向けた特定色判定
- 輪郭ベクトルによる道路標識認識に向けた特定色判定(高精細画像の処理・表示,及び一般)
- 最小コストフロー問題の高速解法とそのVLSIコンパクション問題への適用
- コンパクション問題に対するフロｰ･テンション平衡理論の適用
- SOMを用いた道路標識の分類と認識(映像・マルチメディア処理及び一般)
- SOMを用いた道路標識の分類と認識(映像・マルチメディア処理及び一般)
- SOMを用いた道路標識の分類と認識
- バイナリーニューラルネットによるナース・スケジューリング問題の基本解の導出
- c-meansクラスタリングを用いた複数デポ巡回セールスマン問題の発見的解法(グラフとネットワーク)
- 免疫アルゴリズムを用いたスケジューリング問題の一解法(スケジューリング)
- A-1-20 均等化係数を指定した複数デポ巡回セールスマン問題
- 複数のプローブカーによる道路形状情報の統合処理(画像工学1,ITS画像処理,映像メディア,一般)
- 路面色抽出による動的道路地図作成の提案(ITS・車, ITS画像処理, 映像メディア及び一般)
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察(高精細画像の処理・表示,及び一般)
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討(高精細画像の処理・表示,及び一般)
- 車載カメラによる動画像からの走行軌跡抽出に関する一検討
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察
- 重心座標を用いた顔動画像の作成における重み付グラフの重み決定に関する一考察
- 菱形道路標識の認識に向けた抽出精度向上に関する検討
- 条件分岐制御のあるデータパスのスケジューリング手法
- 条件分岐制御のあるデータパスのスケジューリング手法
- メモリアレーを含む順序回路へのスキャンパス方式適用
- 二分決定グラフの非明示的表現法とその操作法
- 二分決定グラフの非明示的表現法
- A-62 二分決定グラフの非明示的表現法(A-3. VLSI設計技術,一般講演)
- 論理関数処理に基づく順序回路のテスト生成法
- 1. BDDとは (<特集> BDD (二分決定グラフ))
- ファジィc-means法を用いた複数巡回セールスマン問題の一解法
- A-2-23 ハミング距離を用いたCNN連想判別
- CNN連想判別システムの最適化
- バイナリーニューラルネットワークのための収束促進項の提案
- 拡張アソシアトロンを用いた連想判別
- 特異値分解を用いたセルラニューラルネットワークにおける連想記憶に対する考察
- 菱形道路標識の認識に向けた抽出精度向上に関する検討(高精細画像の処理・表示,及び一般)
- 菱形道路標識の認識に向けた抽出精度向上に関する検討
- 輪郭ベクトルの追跡による道路標識の認識(画像処理)
- 輪郭ベクトル追跡による道路標識の認識(映像メディアおよび一般 : インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 輪郭ベクトル追跡による道路標識の認識
- 輪郭ベクトル追跡による道路標識の認識
- 特定色判別と領域限定を用いた円形道路標識の抽出
- 認識処理に向けた円形道路標識の高精度な抽出手法(映像メディアおよび一般 インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- 認識処理に向けた円形道路標識の高精度な抽出手法
- 認識処理に向けた円形道路標識の高精度な抽出手法
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- JPEG2000における適応圧縮に向けたタイル分類についての一検討(映像メディアおよび一般 インターネット, デジタル放送, マルチメディア, 三次元画像, 視覚と画質評価, ITS等)
- JPEG2000における適応圧縮に向けたタイル分類についての一検討
- JPEG2000における適応圧縮に向けたタイル分類についての一検討
- ウェーブレット変換を用いた適応圧縮についての一検討
- ウェーブレット変換を用いた適応圧縮についての一検討
- 二分決定グラフの非明示的表現における節点符号化法
- 二分決定グラフの非明示的表現における節点符号化法
- 二分決定グラフの非明示的表現における節点符号化法
- ZBDDによる二分決定グラフの非明示的表現
- 二分決定グラフの非明示的表現の効率的な演算手法
- 論理関数を表現する2分決定グラフの最小化
- ウェーブレット変換を用いた適応圧縮についての一検討