Shin-ichi Minato

Proceedings of the Advanced Methodologies for Bayesian Networks, 2015

BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Distribution Loss Minimization With Guaranteed Error Bound.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2014

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams.

[BibT_eX]

[DOI]

Yuma Inoue

Takahisa Toda

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Fast Regular Expression Matching Based On Dual Glushkov NFA.

[BibT_eX]

[DOI]

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest.

[BibT_eX]

[DOI]

Proceedings of the 2014 SIAM International Conference on Data Mining, 2014

A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014

On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree.

[BibT_eX]

[DOI]

Norihito Yasuda

Masaaki Nishino

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

A General Framework for Parallel Unary Operations on ZDDs.

[BibT_eX]

[DOI]

Shogo Takeuchi

Takahisa Toda

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

Three-way Indexing ZDDs for Large-Scale Sparse Datasets.

[BibT_eX]

[DOI]

Hiroshi Aoki

Takahisa Toda

Proceedings of the Trends and Applications in Knowledge Discovery and Data Mining, 2014

An Efficient Method for Indexing All Topological Orders of a Directed Graph.

[BibT_eX]

[DOI]

Yuma Inoue

Proceedings of the Algorithms and Computation - 25th International Symposium, 2014

Rethinking Packet Classification for Global Network View of Software-Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

2013

Techniques of BDD/ZDD: Brief History and Recent Activity.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2013

Shared-Memory Parallel Frontier-Based Search.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation, 7th International Workshop, 2013

Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams .

[BibT_eX]

[DOI]

Proceedings of the Prague Stringology Conference 2013, Prague, Czech Republic, 2013

Debugging of Reversible Circuits Using pDDs.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets.

[BibT_eX]

[DOI]

Proceedings of the Algorithms - ESA 2013, 2013

2012

Synthesis of Semi-Classical Quantum Circuits.

[BibT_eX]

[DOI]

D. Michael Miller

J. Multiple Valued Log. Soft Comput., 2012

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2012

BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model.

[BibT_eX]

[DOI]

Nicolas Spyratos

Int. J. Organ. Collect. Intell., 2012

A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake.

[BibT_eX]

[DOI]

Takeru Inoue

IEICE Trans. Commun., 2012

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.

[BibT_eX]

[DOI]

Algorithms, 2012

Using πDDs in the Design of Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Incremental Set Recommendation Based on Class Differences.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2012

2011

Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations.

[BibT_eX]

[DOI]

Proceedings of the Prague Stringology Conference 2011, 2011

πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP).

[BibT_eX]

[DOI]

Koji Tsuda

Proceedings of the New Frontiers in Artificial Intelligence, 2011

An efficient algorithm for constructing a Sequence Binary Decision Diagram representing a set of reversed sequences.

[BibT_eX]

[DOI]

Hiroshi Aoki

Proceedings of the 2011 IEEE International Conference on Granular Computing, 2011

Implementation of sequence BDDs in Erlang.

[BibT_eX]

[DOI]

Shuhei Denzumi

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Great east Japan earthquake viewed from a URL shortener.

[BibT_eX]

[DOI]

Proceedings of the Special Workshop on Internet and Disasters, 2011

Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs.

[BibT_eX]

[DOI]

Masakazu Ishihata

Taisuke Sato

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010

An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asian Conference on Machine Learning, 2010

Fast Bit-Parallel Matching for Network and Regular Expressions.

[BibT_eX]

[DOI]

Yusaku Kaneta

Proceedings of the String Processing and Information Retrieval, 2010

Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases.

[BibT_eX]

[DOI]

Takeaki Uno

Proceedings of the SIAM International Conference on Data Mining, 2010

Discrete Structure Manipulation for Discovery Science Problems.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2010

Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field-Programmable Technology, 2010

2009

The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009).

[BibT_eX]

[DOI]

Akihiro Yamamoto

Kouichi Hirata

Proceedings of the New Frontiers in Artificial Intelligence, 2009

2008

DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction.

[BibT_eX]

[DOI]

D. Michael Miller

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation.

[BibT_eX]

[DOI]

Takeaki Uno

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2008

An efficient verification of quantum circuits under a practical restriction.

[BibT_eX]

[DOI]

D. Michael Miller

Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008

A fast algorithm for cofactor implication checking and its application for knowledge discovery.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008

2007

Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data.

[BibT_eX]

[DOI]

Kimihito Ito

Inf. Media Technol., 2007

Frequent Closed Item Set Mining Based on Zero-suppressed BDDs.

[BibT_eX]

[DOI]

Inf. Media Technol., 2007

Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Ken Satoh

Taisuke Sato

Proceedings of the IJCAI 2007, 2007

A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 10th International Conference, 2007

2006

Frequent Pattern Mining and Knowledge Indexing Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery in Inductive Databases, 5th International Workshop, 2006

N-Gram Analysis Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Ryutaro Kurai

Thomas Zeugmann

Proceedings of the New Frontiers in Artificial Intelligence, 2006

Symmetric Item Set Mining Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 9th International Conference, 2006

2005

Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 2005

Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2005

VSOP (Valued-Sum-of-Products) Calculator for Knowledge Processing Based on Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the Federation over the Web, 2005

2002

Streaming BDD Manipulation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

2001

Zero-suppressed BDDs and their applications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2001

Streaming BDD manipulation for large-scale combinatorial problems.

[BibT_eX]

[DOI]

Shinya Ishihara

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1999

Binary Decision Diagrams.

[BibT_eX]

[DOI]

Saburo Muroga

Proceedings of the VLSI Handbook., 1999

1998

On the Properties of Combination Set Operations.

[BibT_eX]

[DOI]

Hiroshi G. Okuno

Hideki Isozaki

Inf. Process. Lett., 1998

Finding all simple disjunctive decompositions using irredundant sum-of-products forms.

[BibT_eX]

[DOI]

Giovanni De Micheli

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

1997

Arithmetic Boolean Expression Manipulator Using BDDs.

[BibT_eX]

[DOI]

Fabio Somenzi

Formal Methods Syst. Des., 1997

1996

Fast factorization method for implicit cube set representation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

Generation of BDDs from hardware algorithm descriptions.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Manipulation of regular expressions under length constraints using zero-suppressed-BDDs.

[BibT_eX]

[DOI]

Shinya Ishihara

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995

1994

Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on Design Automation, 1994

1993

Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems.

[BibT_eX]

[DOI]

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1990

Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.

[BibT_eX]

[DOI]