学術機関リポジトリデータベース

41 件中の 1 件目～ 20 件目を表示

DenseZDD : A Compact and Fast Index for Families of Sets

収録誌名Algorithms
巻 11 号 8 開始ページ a11080128

日付 2018-08

北海道大学学術成果コレクション北海道大学

Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation

Minato, Shin-ichi

収録誌名IEICE transactions on information and systems
巻 E100 号 8 開始ページ 1556 終了ページ 1562

日付 2017-08

北海道大学学術成果コレクション北海道大学

Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages

Minoda, Reona | Minato, Shin-ichi

収録誌名IEICE transactions on information and systems
巻 E100 号 6 開始ページ 1172 終了ページ 1181

日付 2017-06

北海道大学学術成果コレクション北海道大学

Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations

Denzumi, Shuhei | Yoshinaka, Ryo | Arimura, Hiroki | Minato, Shin-ichi

収録誌名Discrete applied mathematics
巻 212 開始ページ 61 終了ページ 80

日付 2016-10-30

北海道大学学術成果コレクション北海道大学

Techniques of BDD/ZDD : Brief History and Recent Activity

Minato, Shin-ichi

収録誌名IEICE Transactions on Information and Systems
巻 E96 号 7 開始ページ 1419 終了ページ 1429

日付 2013-07

北海道大学学術成果コレクション北海道大学

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations

Yoshinaka, Ryo | Kawahara, Jun | Denzumi, Shuhei | Arimura, Hiroki | Minato, Shin-ichi

収録誌名Information Processing Letters
巻 112 号 16 開始ページ 636 終了ページ 640

日付 2012-08-31

北海道大学学術成果コレクション北海道大学

A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions

Kaneta, Yusaku | Yoshizawa, Shingo | Minato, Shin-ichi | Arimura, Hiroki | Miyanaga, Yoshikazu

収録誌名IEICE Transactions on Information and Systems
巻 E95 号 7 開始ページ 1847 終了ページ 1857

日付 2012-07-01

北海道大学学術成果コレクション北海道大学

On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake

Inoue, Takeru | Minato, Shin-ichi

収録誌名IEICE Transactions on Communications
巻 E95 号 7 開始ページ 2210 終了ページ 2221

日付 2012-07-01

北海道大学学術成果コレクション北海道大学

Incremental Set Recommendation Based on Class Differences

Shirai, Yasuyuki | Tsuruma, Koji | Sakurai, Yuko | Oyama, Satoshi | Minato, Shin-ichi

収録誌名Lecture Notes in Computer Science
巻 7301 開始ページ 183 終了ページ 194

日付 2012

北海道大学学術成果コレクション北海道大学

はしがき

湊, 真一

日付 2011-06

北海道大学学術成果コレクション北海道大学

北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について

湊, 真一

会議名ERATOセミナ

日付 2011-06

北海道大学学術成果コレクション北海道大学

BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について

湊, 真一

会議名ERATOセミナ

日付 2011-06

北海道大学学術成果コレクション北海道大学

BDD/ZDDパッケージ講習会

湊, 真一

会議名ERATOセミナ

日付 2011-06

北海道大学学術成果コレクション北海道大学

命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム

石畠, 正和 | 亀谷, 由隆 | 佐藤, 泰介 | 湊, 真一

会議名ERATO湊離散構造処理系プロジェクト春のワークショップ（キックオフシンポジウム）

日付 2011-06

北海道大学学術成果コレクション北海道大学

ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料

湊, 真一

会議名ERATO湊離散構造処理系プロジェクト春のワークショップ（キックオフシンポジウム）

日付 2011-06

北海道大学学術成果コレクション北海道大学

系列二分決定グラフを用いた部分文字列索引の構築

Denzumi, Shuhei | Arimura, Hiroki | Minato, Shin-ichi

会議名ERATO湊離散構造処理系プロジェクト春のワークショップ（キックオフシンポジウム）

日付 2011-06

北海道大学学術成果コレクション北海道大学

ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題

湊, 真一

会議名ERATO湊離散構造処理系プロジェクトシンポジウム

日付 2011-06

北海道大学学術成果コレクション北海道大学

πDD: Permutation Decision Diagram based on Permutation Family Algebra

Minato, Shin-ichi

会議名ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ

日付 2011-06

北海道大学学術成果コレクション北海道大学

ベイジアンネットワークの機械語へのコンパイル

高橋, 渉 | 湊, 真一 | 川原, 純

会議名ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ

日付 2011-06

北海道大学学術成果コレクション北海道大学

ZDDを用いたパスの列挙 : 打倒Knuthを目指して

齋藤, 寿樹 | 鈴木, 拡 | 湊, 真一

会議名ERATO湊離散構造処理系プロジェクト : 2010年度初冬のワークショップ

日付 2011-06

北海道大学学術成果コレクション北海道大学