HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 21 to 40 of 41
< previous   next >
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
articleMinato, Shin-ichiPower of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation-IEICE transactions on information and systems-Aug-2017
articleIshihata, Masakazu; Kameya, Yoshitaka; Sato, Taisuke; Minato, Shin-ichPropositionalizing the EM algorithm by BDDsBDD上の命題化計算に基づくEMアルゴリズムTransactions of the Japanese Society for Artificial Intelligence人工知能学会論文誌2010
article (author version)Denzumi, Shuhei; Yoshinaka, Ryo; Arimura, Hiroki; Minato, Shin-ichiSequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations-Discrete applied mathematics-30-Oct-2016
articleMinato, Shin-ichiStreaming BDD manipulation-IEEE Transactions on Computers-May-2002
articleMinato, Shin-ichi; Ito, KimihitoSymmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data-Transactions of the Japanese Society for Artificial Intelligence人工知能学会論文誌2007
articleMinato, Shin-ichiTechniques of BDD/ZDD : Brief History and Recent Activity-IEICE Transactions on Information and Systems-Jul-2013
articleMinoda, Reona; Minato, Shin-ichiVerifying 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-ichiZero-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 presentationMinato, 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
< previous   next >


Hokkaido University