Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date |
conference presentation | 石畠, 正和; 亀谷, 由隆; 佐藤, 泰介; 湊, 真一 | 命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム | - | - | - | Jun-2011 |
conference presentation | Minato, Shin-ichi | πDD: Permutation Decision Diagram based on Permutation Family Algebra | - | - | - | Jun-2011 |
proceedings | Minato, Shin-ichi; Uno, Takeaki | Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases | - | - | - | Apr-2010 |
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 | 宮永, 喜一; 吉澤, 真吾; 湊, 真一 | メディア系異分野共同研究プロジェクト (北の国から明日の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 |
article | YAMASHITA, Shigeru; MINATO, Shin-ichi; MILLER, D. Michael | DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction | - | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | - | Dec-2008 |
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 | 岩崎, 玄弥; 湊, 真一; ツォイクマン, トーマス | 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価 : データ工学論文特集 | A Method of ZBDD Variable Ordering for Frequent Pattern Mining | 電子情報通信学会論文誌. D, 情報・システム | - | 1-Mar-2008 |
article | MINATO, Shin-ichi; ARIMURA, Hiroki | Frequent closed item set mining based on zero-suppressed BDDs | - | 人工知能学会論文誌 | Transactions of the Japanese Society for Artificial Intelligence : AI | 1-Nov-2007 |
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 | 井上, 武; 谷, 誠一郎; 高橋, 宏和; 湊, 真一; 宮崎, 敏明; 豊島, 鑑 | Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装 : システム開発論文特集 | Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast | 電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 | - | 1-Feb-2005 |
article | Minato, Shin-ichi | Streaming BDD manipulation | - | IEEE Transactions on Computers | - | May-2002 |
article (author version) | Minato, Shin-ichi | Zero-suppressed BDDs and their applications | - | International Journal on Software Tools for Technology Transfer | - | May-2001 |
article | ROTTER, Dror; HAMAGUCHI, Kiyoharu; MINATO, Shin-ichi; YAJIMA, Shuzo | Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms | - | IEICE transactions on fundamentals of electronics, communications and computer sciences | - | 25-Oct-1997 |
article (author version) | Minato, Shin-Ichi | Arithmetic Boolean Expression Manipulator Using BDDs | - | Formal Methods in System Design | - | Apr-1997 |
article | 奥乃, 博; 湊, 真一 | 二分決定グラフによる制約充足問題の解法 | Solving Constraint Statisfaction Problems by Binary Decision Diagram | 情報処理学会論文誌 | - | 15-Aug-1995 |
article | Minato, Shin-ichi | BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) | - | IEICE transactions on fundamentals of electronics, communications and computer sciences | - | 25-Oct-1993 |
article | Minato, Shin-ichi | Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams | - | IEICE transactions on fundamentals of electronics, communications and computer sciences | - | 25-Jun-1993 |
article | 湊, 真一 | 「わくわく」 : 技術革新のキーワード | - | 電子情報通信学会誌 | - | Nov-1992 |
article | Minato, Shin-ichi | Minimum-Width Method of Variable Ordering for Binary Decision Diagrams | - | IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences | - | 20-Mar-1992 |