लेखक: Shin-ichi Minato

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design …

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with …

This book constitutes the proceedings of the PAKDD Workshops 2008, namely ALSIP 2008, DMDRM 2008, and IDM 2008. The workshops were held in conjunction with the PAKDD conference in Osaka, Japan, durin …