|
Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 20 of 41
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | article | Denzumi, Shuhei; Kawahara, Jun; Tsuda, Koji; Arimura, Hiroki; Minato, Shin-ichi; Sadakane, Kunihiko | DenseZDD : A Compact and Fast Index for Families of Sets | - | Algorithms | - | Aug-2018 |
article | Minato, Shin-ichi | Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation | - | IEICE transactions on information and systems | - | Aug-2017 |
article | Minoda, Reona; Minato, Shin-ichi | Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages | - | IEICE transactions on information and systems | - | Jun-2017 |
article (author version) | Denzumi, Shuhei; Yoshinaka, Ryo; Arimura, Hiroki; Minato, Shin-ichi | Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations | - | Discrete applied mathematics | - | 30-Oct-2016 |
article | Minato, Shin-ichi | Techniques of BDD/ZDD : Brief History and Recent Activity | - | IEICE Transactions on Information and Systems | - | Jul-2013 |
article (author version) | Yoshinaka, Ryo; Kawahara, Jun; Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichi | Counterexamples to the long-standing conjecture on the complexity of BDD binary operations | - | Information Processing Letters | - | 31-Aug-2012 |
article | Kaneta, Yusaku; Yoshizawa, Shingo; Minato, Shin-ichi; Arimura, Hiroki; Miyanaga, Yoshikazu | A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions | - | IEICE Transactions on Information and Systems | - | 1-Jul-2012 |
article | Inoue, Takeru; Minato, Shin-ichi | On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake | - | IEICE Transactions on Communications | - | 1-Jul-2012 |
article (author version) | Shirai, Yasuyuki; Tsuruma, Koji; Sakurai, Yuko; Oyama, Satoshi; Minato, Shin-ichi | Incremental Set Recommendation Based on Class Differences | - | Lecture Notes in Computer Science | - | 2012 |
conference presentation | 湊, 真一 | ERATO湊離散構造処理系プロジェクト : 概要紹介と最近の話題 | - | - | - | Jun-2011 |
conference presentation | Minato, Shin-ichi | πDD: Permutation Decision Diagram based on Permutation Family Algebra | - | - | - | Jun-2011 |
conference presentation | 湊, 真一 | ERATO湊離散構造処理系プロジェクト : キックオフシンポジウム講演資料 | - | - | - | Jun-2011 |
conference presentation | 湊, 真一 | BDD/ZDDパッケージ講習会 | - | - | - | Jun-2011 |
conference presentation | 湊, 真一 | 北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について | - | - | - | Jun-2011 |
conference presentation | 齋藤, 寿樹; 鈴木, 拡; 湊, 真一 | ZDDを用いたパスの列挙 : 打倒Knuthを目指して | - | - | - | Jun-2011 |
conference presentation | 湊, 真一 | ERATOプロジェクトの立ち上げと研究の進展状況について | - | - | - | Jun-2011 |
other | 湊, 真一 | はしがき | - | - | - | Jun-2011 |
conference presentation | 川原, 純; 齋藤, 寿樹; 鈴木, 拡; 湊, 真一; 吉仲, 亮 | ZDDによるパスの列挙 | - | - | - | Jun-2011 |
conference presentation | Denzumi, Shuhei; Arimura, Hiroki; Minato, Shin-ichi | Construction of Substring Indices Using Sequence BDDs | 系列二分決定グラフを用いた部分文字列索引の構築 | - | - | Jun-2011 |
conference presentation | 高橋, 渉; 湊, 真一; 川原, 純 | ベイジアンネットワークの機械語へのコンパイル | - | - | - | Jun-2011 |
Showing results 1 to 20 of 41
|