Results 61 to 70 of about 3,622,400 (195)
Functional test generation using binary decision diagrams [PDF]
, 1987 This paper proposes an extension to the D-algorithm, for integrated circuits described using binary decision diagrams. An LSI/VLSI circuit is modeled as a network of interconnected modules such as counters, registers, ROMs, RAMs, decoders, and ...
Abadir, M.S., Reghbati, H.K.
core +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
Quantum and classical nondeterministic OBDDs
Учёные записки Казанского университета: Серия Физико-математические наукиA model of nondeterministic ordered binary decision diagrams (NOBDDs) was analyzed. A method for proving a lower bound on the complexity of quantum NOBDDs was developed.
A. F. Gainutdinova
doaj +1 more source
A rewriting approach to binary decision diagrams
The Journal of Logic and Algebraic Programming, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H. Zantema (Hans) +1 more
openaire +5 more sources
Decision diagrams in machine learning: an empirical study on real-life credit-risk data. [PDF]
Decision trees are a widely used knowledge representation in machine learning. However, one of their main drawbacks is the inherent replication of isomorphic subtrees, as a result of which the produced classifiers might become too large to be ...
Files, CM +3 more
core
Visualizing Sets with Linear Diagrams [PDF]
, 2015 This paper presents the first design principles that optimize the visualization of sets using linear diagrams. These principles are justified through empirical studies that evaluate the impact of graphical features on task performance.
Rodgers, Peter +5 more
core +2 more sources
Partial Binary Decision Diagrams
, 2008 --Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size.
core
Dictionary Encoding Based on Tagged Sentential Decision Diagrams
AlgorithmsEncoding a dictionary into another representation means that all the words can be stored in the dictionary in a more efficient way. In this way, we can complete common operations in dictionaries, such as (1) searching for a word in the dictionary, (2 ...
Deyuan Zhong +2 more
doaj +1 more source
Ordered Binary Decision Diagrams as Knowledge-Bases
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +3 more sources
Proceedings of the 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012) [PDF]
, 2012 The 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012) was held in Canterbury, UK on 2nd July 2012 in conjunction with the 7th International Conference on the Theory and Application of Diagrams (Diagrams 2012). Euler diagrams represent
Micallef, Luana
core