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
conference presentation石畠, 正和; 亀谷, 由隆; 佐藤, 泰介; 湊, 真一命題論理に基づく確率モデルのためのBDDと順序符号化を用いた効率的なEMアルゴリズム---Jun-2011
conference presentationMinato, Shin-ichiπDD: Permutation Decision Diagram based on Permutation Family Algebra---Jun-2011
proceedingsMinato, Shin-ichi; Uno, TakeakiFrequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases---Apr-2010
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宮永, 喜一; 吉澤, 真吾; 湊, 真一メディア系異分野共同研究プロジェクト (北の国から明日の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
articleYAMASHITA, Shigeru; MINATO, Shin-ichi; MILLER, D. MichaelDDMF: 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
articleMINATO, Shin-ichi; ARIMURA, HirokiFrequent closed item set mining based on zero-suppressed BDDs-人工知能学会論文誌Transactions of the Japanese Society for Artificial Intelligence : AI1-Nov-2007
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
article井上, 武; 谷, 誠一郎; 高橋, 宏和; 湊, 真一; 宮崎, 敏明; 豊島, 鑑Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装 : システム開発論文特集Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理-1-Feb-2005
articleMinato, Shin-ichiStreaming BDD manipulation-IEEE Transactions on Computers-May-2002
article (author version)Minato, Shin-ichiZero-suppressed BDDs and their applications-International Journal on Software Tools for Technology Transfer-May-2001
articleROTTER, Dror; HAMAGUCHI, Kiyoharu; MINATO, Shin-ichi; YAJIMA, ShuzoManipulation 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-IchiArithmetic Boolean Expression Manipulator Using BDDs-Formal Methods in System Design-Apr-1997
article奥乃, 博; 湊, 真一二分決定グラフによる制約充足問題の解法Solving Constraint Statisfaction Problems by Binary Decision Diagram情報処理学会論文誌-15-Aug-1995
articleMinato, Shin-ichiBEM-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
articleMinato, Shin-ichiFast 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
articleMinato, Shin-ichiMinimum-Width Method of Variable Ordering for Binary Decision Diagrams-IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences-20-Mar-1992
Showing results 21 to 40 of 41
< previous   next >

 

Hokkaido University