Results 91 to 100 of about 3,877,335 (299)
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
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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon +9 more
wiley +1 more source
Mining simple and complex patterns efficiently using Binary Decision Diagrams [PDF]
, 2009 © 2009 Dr. Elsa LoekitoPattern mining is a knowledge discovery task which is useful for finding interesting data characteristics. Existing mining techniques sometimes suffer from limited performance in challenging situations, such as when finding ...
Loekito, E.
core +1 more source
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
Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad +22 more
wiley +1 more source
Factored Edge-Valued Binary Decision Diagrams
, 1997 Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagrams. By associating both an additive and a multiplicative weight with the edges, FEVBDDs can be used to represent a wider range of functions concisely. As
Paul Tafertshofer, Massoud Pedram
core +1 more source
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
On the error resilience of ordered binary decision diagrams
Theoretical Computer Science, 2015 Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions.
Anna Bernasconi 0001 +2 more
openaire +4 more sources
A Library for Binary Decision Diagrams
, 2015 Efficient manipulation of Boolean functions is an important component of many computer-aided design task. As a data structure for representing and manipulating Boolean functions, Binary Decision Diagrams are commonly used.
Janků, Petr
core