Results 1 to 10 of about 3,866,349 (62)
An Explainable Artificial Intelligence Software Tool for Weight Management Experts (PRIMO): Mixed Methods Study. [PDF]
J Med Internet Res, 2023 Fernandes GJ +6 more
europepmc +1 more source
Extending greedy feature selection algorithms to multiple solutions. [PDF]
Data Min Knowl Discov, 2021 Borboudakis G, Tsamardinos I.
europepmc +1 more source
On Compiling Structured CNFs to OBDDs. [PDF]
Theory Comput Syst, 2017 Bova S, Slivovsky F.
europepmc +1 more source
Nanowire systems: technology and design. [PDF]
Philos Trans A Math Phys Eng Sci, 2014 Gaillardon PE +5 more
europepmc +1 more source
Ordered binary decision diagrams as knowledge-bases [PDF]
Artificial Intelligence, 2002 We consider the use of ordered binary decision diagrams (OBDDs) as a means of realizing knowledge-bases, and show that, from the view point of space requirement, the OBDD-based representation is more efficient and suitable in some cases, compared with ...
Takashi Horiyama, Toshihide Ibaraki
exaly +2 more sources
An efficient query learning algorithm for ordered binary decision diagrams [PDF]
Information and Computation, 2005 In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries.
Atsuyoshi Nakamura
exaly +2 more sources
Some of the next articles are maybe not open access.
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys, 1992Randal Bryant
exaly
Reduction of OBDDs in linear time
Information Processing Letters, 1993Detlef Sieling, Ingo Wegener
exaly
Variable ordering algorithms for ordered binary decision diagrams and their evaluation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993Y Matsunaga
exaly
Size and structure of random ordered binary decision diagrams
Lecture Notes in Computer Science, 2005Hans Jürgen Promel, Anand Srivastav
exaly