متابعة
Shin-ichi Minato
Shin-ichi Minato
Kyoto University
بريد إلكتروني تم التحقق منه على i.kyoto-u.ac.jp - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Zero-suppressed BDDs for set manipulation in combinatorial problems‏
S Minato‏
Proceedings of the 30th International Design Automation Conference, 272-277, 1993‏
12241993
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation‏
S Minato, N Ishiura, S Yajima‏
Proceedings of the 27th ACM/IEEE design automation conference, 52-57, 1991‏
6811991
Binary decision diagrams and applications for VLSI CAD‏
S Minato‏
Springer Science & Business Media, 1995‏
3631995
Zero-suppressed BDDs and their applications‏
S Minato‏
International Journal on Software Tools for Technology Transfer 3 (2), 156-170, 2001‏
2072001
Frontier-based search for enumerating all constrained subgraphs with compressed representation‏
J Kawahara, T Inoue, H Iwashita, S Minato‏
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2017‏
1052017
Decision diagrams and pass transistor logic synthesis‏
V Bertacco, S Minato, P Verplaetse, L Benini, G De Micheli‏
Int'l Workshop on Logic Synth 168, 1997‏
1021997
Distribution loss minimization with guaranteed error bound‏
T Inoue, K Takano, T Watanabe, J Kawahara, R Yoshinaka, A Kishimoto, ...‏
IEEE Transactions on Smart Grid 5 (1), 102-111, 2014‏
972014
Graphillion: software library for very large sets of labeled graphs‏
T Inoue, H Iwashita, J Kawahara, S Minato‏
International Journal on Software Tools for Technology Transfer 18, 57-66, 2016‏
762016
System and method for processing logic function and fault diagnosis using binary tree representation‏
S Minato‏
US Patent 5,493,504, 1996‏
761996
Fast generation of irredundant sum-of-products forms from binary decision diagrams‏
S Minato‏
Proc. SASIMI'92, 64-73, 1992‏
721992
Fast generation of prime-irredundant covers from binary decision diagrams‏
S Minato‏
IEICE transactions on fundamentals of electronics, communications and …, 1993‏
641993
BDDs vs. Zero-Suppressed BDDs: for CTL symbolic model checking of petri nets‏
T Yoneda, H Hatori, A Takahara, S Minato‏
International Conference on Formal Methods in Computer-Aided Design, 435-449, 1996‏
581996
A fast method of statistical assessment for combinatorial hypotheses based on frequent itemset enumeration‏
S Minato, T Uno, K Tsuda, A Terada, J Sese‏
Machine Learning and Knowledge Discovery in Databases: European Conference …, 2014‏
572014
Finding all solutions and instances of numberlink and slitherlink by ZDDs‏
R Yoshinaka, T Saitoh, J Kawahara, K Tsuruma, H Iwashita, S Minato‏
Algorithms 5 (20), 176-213, 2012‏
572012
LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation‏
S Minato, T Uno, H Arimura‏
Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia …, 2008‏
572008
Propositionalizing the EM algorithm by BDDs‏
M Ishihata, Y Kameya, T Sato, S Minato‏
Transactions of the Japanese Society for Artificial Intelligence 25 (3), 475-484, 2010‏
542010
Finding all simple disjunctive decompositions using irredundant sum-of-products forms‏
S Minato, G De Micheli‏
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided …, 1998‏
541998
Efficient top-down ZDD construction techniques using recursive specifications‏
H Iwashita, S Minato‏
Hokkaido University Division of Computer Science TCS Technical Report TCS-TR …, 2013‏
512013
Graph-based representations of discrete functions‏
S Minato‏
Representations of Discrete Functions, 1-28, 1996‏
511996
Evaluation of annual energy loss reduction based on reconfiguration scheduling‏
Y Takenobu, N Yasuda, S Kawano, SI Minato, Y Hayashi‏
IEEE Transactions on Smart Grid 9 (3), 1986-1996, 2016‏
482016
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20