Wyniki wyszukiwania:

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 (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can...

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 (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can...

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, during May 20-23, 2008. The 17 papers presented were carefully reviewed and selected from 38 submissions. The International Workshop on Algorithms for Large-Sale Information Processing in Knowledge Discovery (ALSIP) focused on exchanging fresh ideas on large-scale data processing in the problems of data mining, clustering, machine learning, statistical analysis, and other computational aspects of...