Zero-suppressed decision diagram - PDFSEARCH.IO - Document Search Engine

Zero-suppressed decision diagram
Results: 4

#	Item
1	School of Computer Science College of Engineering and Computer Science Nearest Neighbour Search with Zero-Suppressed Decision Diagram for Text Retrieval Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-11-14 04:01:13 Search algorithms Diagrams Discrete geometry Nearest neighbor search Vector space model MinHash Hash function Binary decision diagram K-d tree Information science Science Information retrieval
2	Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera, Wolfgang Krögerb, and Enrico Zioc a b Add to Reading List Source URL: nusbaumer.tripod.com Language: English* - Date: 2012-09-02 05:44:01 Binary decision diagram Model checking Theoretical computer science Zero-suppressed decision diagram Directed acyclic graph Static single assignment form Hypergraph Formal methods Boolean algebra Diagrams Mathematics
3	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
4	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra