|
Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 21 to 40 of 41
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | 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 | Ishihata, Masakazu; Kameya, Yoshitaka; Sato, Taisuke; Minato, Shin-ich | Propositionalizing the EM algorithm by BDDs | BDD上の命題化計算に基づくEMアルゴリズム | Transactions of the Japanese Society for Artificial Intelligence | 人工知能学会論文誌 | 2010 |
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 | Streaming BDD manipulation | - | IEEE Transactions on Computers | - | May-2002 |
article | Minato, Shin-ichi; Ito, Kimihito | Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data | - | Transactions of the Japanese Society for Artificial Intelligence | 人工知能学会論文誌 | 2007 |
article | Minato, Shin-ichi | Techniques of BDD/ZDD : Brief History and Recent Activity | - | IEICE Transactions on Information and Systems | - | Jul-2013 |
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 |
conference presentation | 川原, 純; 齋藤, 寿樹; 鈴木, 拡; 湊, 真一; 吉仲, 亮 | ZDDによるパスの列挙 | - | - | - | Jun-2011 |
conference presentation | 齋藤, 寿樹; 鈴木, 拡; 湊, 真一 | ZDDを用いたパスの列挙 : 打倒Knuthを目指して | - | - | - | Jun-2011 |
article (author version) | Minato, Shin-ichi | Zero-suppressed BDDs and their applications | - | International Journal on Software Tools for Technology Transfer | - | May-2001 |
other | 湊, 真一 | はしがき | - | - | - | Jun-2011 |
article | 湊, 真一 | 「わくわく」 : 技術革新のキーワード | - | 電子情報通信学会誌 | - | Nov-1992 |
conference presentation | 高橋, 渉; 湊, 真一; 川原, 純 | ベイジアンネットワークの機械語へのコンパイル | - | - | - | Jun-2011 |
article | 宮永, 喜一; 吉澤, 真吾; 湊, 真一 | メディア系異分野共同研究プロジェクト (北の国から明日のICTに架ける橋,<特別小特集>知の創出を支える次世代IT基盤技術 : 北海道大学グローバルCOEプログラムと北海道内情報通信系研究グループの活動) | Interdisciplinary Research Project on Media and Network Technologies(<Special Section>Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation: Hokkaido University Global COE Program and Research Projects on ICT in Hokkaido) | 電子情報通信学会誌 | - | 1-Oct-2009 |
conference presentation | Minato, Shin-ichi | πDD: Permutation Decision Diagram based on Permutation Family Algebra | - | - | - | Jun-2011 |
article | 宇野, 毅明; 湊, 真一; 竹田, 正幸 | 情報爆発時代のための新しい超高速アルゴリズム : <特集>情報爆発時代におけるわくわくするITの創出を目指して : パートI: 情報爆発時代における新しい基盤技術 | Revolutionarily Fast Algorithms for Info-plosion Era(<Special Features>Creating Vital Information Technologies for the Info-plosion Era) | 情報処理 | - | 15-Aug-2008 |
article | 奥乃, 博; 湊, 真一 | 二分決定グラフによる制約充足問題の解法 | Solving Constraint Statisfaction Problems by Binary Decision Diagram | 情報処理学会論文誌 | - | 15-Aug-1995 |
article | 岩崎, 玄弥; 湊, 真一; ツォイクマン, トーマス | 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価 : データ工学論文特集 | A Method of ZBDD Variable Ordering for Frequent Pattern Mining | 電子情報通信学会論文誌. D, 情報・システム | - | 1-Mar-2008 |
conference presentation | 湊, 真一 | 北大版BDD/ZDDパッケージの概要 : 北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について | - | - | - | Jun-2011 |
conference presentation | 石畠, 正和; 亀谷, 由隆; 佐藤, 泰介; 湊, 真一 | 命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム | - | - | - | Jun-2011 |
Showing results 21 to 40 of 41
|