![]() | ![]() |
| 2012 | ||
|---|---|---|
| 41 | Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato: Incremental Set Recommendation Based on Class Differences. PAKDD (1) 2012: 183-194 | |
| 40 | Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato: Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Algorithms 5(2): 176-213 (2012) | |
| 39 | Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller: Synthesis of Semi-Classical Quantum Circuits. Multiple-Valued Logic and Soft Computing 18(1): 99-114 (2012) | |
| 2011 | ||
| 38 | Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato: Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence 2011: 203-212 | |
| 37 | Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato: Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91 | |
| 36 | Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato: An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences. GrC 2011: 54-59 | |
| 35 | Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo: A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams. PRIMA 2011: 4-18 | |
| 34 | Shin-ichi Minato: πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space. SAT 2011: 90-104 | |
| 33 | Shin-ichi Minato: Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering. New Generation Comput. 29(2): 223-238 (2011) | |
| 2010 | ||
| 32 | Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga: Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching. FPT 2010: 21-28 | |
| 31 | Shin-ichi Minato: Discrete Structure Manipulation for Discovery Science Problems. ISCIS 2010: 359-364 | |
| 30 | Shin-ichi Minato, Takeaki Uno: Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases. SDM 2010: 339-349 | |
| 29 | Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura: Fast Bit-Parallel Matching for Network and Regular Expressions. SPIRE 2010: 372-384 | |
| 28 | Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. Journal of Machine Learning Research - Proceedings Track 13: 161-176 (2010) | |
| 2009 | ||
| 27 | Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi: New Frontiers in Applied Data Mining, PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers Springer 2009 | |
| 26 | Akihiro Yamamoto, Kouichi Hirata, Shin-ichi Minato: The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009). JSAI-isAI Workshops 2009: 315-316 | |
| 2008 | ||
| 25 | Shin-ichi Minato: A fast algorithm for cofactor implication checking and its application for knowledge discovery. CIT 2008: 53-58 | |
| 24 | Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller: An efficient verification of quantum circuits under a practical restriction. CIT 2008: 873-879 | |
| 23 | Shin-ichi Minato, Takeaki Uno, Hiroki Arimura: LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation. PAKDD 2008: 234-246 | |
| 22 | Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller: DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction. IEICE Transactions 91-A(12): 3793-3802 (2008) | |
| 2007 | ||
| 21 | Shin-ichi Minato: A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets. Discovery Science 2007: 139-150 | |
| 20 | Shin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555 | |
| 2006 | ||
| 19 | Shin-ichi Minato: Symmetric Item Set Mining Based on Zero-Suppressed BDDs. Discovery Science 2006: 321-326 | |
| 18 | Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann: N-Gram Analysis Based on Zero-Suppressed BDDs. JSAI 2006: 289-300 | |
| 17 | Shin-ichi Minato, Hiroki Arimura: Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs. KDID 2006: 152-169 | |
| 2005 | ||
| 16 | Shin-ichi Minato: VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs. Federation over the Web 2005: 40-58 | |
| 15 | Shin-ichi Minato: Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs. JSAI Workshops 2005: 169-181 | |
| 14 | Shin-ichi Minato, Hiroki Arimura: Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. WIRI 2005: 4-11 | |
| 2002 | ||
| 13 | Shin-ichi Minato: Streaming BDD Manipulation. IEEE Trans. Computers 51(5): 474-485 (2002) | |
| 2001 | ||
| 12 | Shin-ichi Minato, Shinya Ishihara: Streaming BDD manipulation for large-scale combinatorial problems. DATE 2001: 702-707 | |
| 11 | Shin-ichi Minato: Zero-suppressed BDDs and their applications. STTT 3(2): 156-170 (2001) | |
| 1998 | ||
| 10 | Shin-ichi Minato, Giovanni De Micheli: Finding all simple disjunctive decompositions using irredundant sum-of-products forms. ICCAD 1998: 111-117 | |
| 9 | Hiroshi G. Okuno, Shin-ichi Minato, Hideki Isozaki: On the Properties of Combination Set Operations. Inf. Process. Lett. 66(4): 195-199 (1998) | |
| 1997 | ||
| 8 | Shin-ichi Minato, Fabio Somenzi: Arithmetic Boolean Expression Manipulator Using BDDs. Formal Methods in System Design 10(2/3): 221-242 (1997) | |
| 1996 | ||
| 7 | Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato: BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. FMCAD 1996: 435-449 | |
| 6 | Shin-ichi Minato: Generation of BDDs from hardware algorithm descriptions. ICCAD 1996: 644-649 | |
| 5 | Shin-ichi Minato: Fast factorization method for implicit cube set representation. IEEE Trans. on CAD of Integrated Circuits and Systems 15(4): 377-384 (1996) | |
| 1995 | ||
| 4 | Shinya Ishihara, Shin-ichi Minato: Manipulation of regular expressions under length constraints using zero-suppressed-BDDs. ASP-DAC 1995 | |
| 1994 | ||
| 3 | Shin-ichi Minato: Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. DAC 1994: 420-424 | |
| 1993 | ||
| 2 | Shin-ichi Minato: Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. DAC 1993: 272-277 | |
| 1990 | ||
| 1 | Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima: Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. DAC 1990: 52-57 | |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page