Search Results - computer decision diagrams｜((_ algorithms) OR (((ascent algorithms) OR (means algorithm))))~ :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

Automated digital cause-and-effect diagrams to assist causal analysis in problem-solving: a data-driven approach

by Xu, Zhaoguang, Dang, Yanzhong
Published in International journal of production research (01.09.2020)

Get full text

Journal Article

Cover Image

The Bounded and Precise Word Problems for Presentations of Groups

by Ivanov, S. V.
Year of Publication 2020

Get full text

eBook Book

Cover Image

Evaluation of Binary Decision Diagrams Complexity using Relative Arithmetic Width

by Radmanovic, Milos
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.10.2023)

Get full text

Journal Article

Cover Image

A Flow-Based Formulation for Parallel Machine Scheduling Using Decision Diagrams

Published in INFORMS journal on computing (01.11.2024)

Get full text

Journal Article

Cover Image

Dictionary Encoding Based on Tagged Sentential Decision Diagrams

by Zhong, Deyuan, Fang, Liangda, Guan, Quanlong
Published in Algorithms (01.01.2024)

Get full text

Journal Article

Cover Image

Simulation-Enhanced MQAM Modulation Identification in Communication Systems: A Subtractive Clustering-Based PSO-FCM Algorithm Study

by Quan, Zhi, Zhang, Hailong, Luo, Jiyu, Sun, Haijun
Published in Information (Basel) (01.01.2024)

Get full text

Journal Article

Cover Image

A Recursive Framework for Evaluating Moments Using Zero-Suppressed Binary Decision Diagrams

by Lim, Brian Godwin, Tan, Renzo Roel, Kawahara, Jun, Minato, Shin-Ichi, Ikeda, Kazushi
Published in IEEE Access (01.01.2024)

Get full text

Journal Article

Cover Image

Discrete Optimization with Decision Diagrams

Published in INFORMS journal on computing (01.12.2016)

Get full text

Journal Article

Cover Image

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

by Cabodi, Gianpiero, Camurati, Paolo E., Marques-Silva, Joao, Palena, Marco, Pasini, Paolo
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.10.2024)

Get full text

Journal Article

Cover Image

Quantum algorithm for finding the optimal variable ordering for binary decision diagrams

by Tani, Seiichiro
Published in Theoretical computer science (07.07.2025)

Get full text

Journal Article

Cover Image

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

by Grurl, Thomas, Fus, Jurgen, Wille, Robert
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.03.2023)

Get full text

Journal Article

Cover Image

Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams

by Kumar, Jitendra, Miyasaka, Yukio, Srivastava, Asutosh, Fujita, Masahiro
Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (01.04.2023)

Get full text

Journal Article

Cover Image

A Smart AI Framework for Backlog Refinement and UML Diagram Generation

by NASIRI, Samia, LAHMER, Mohammed
Published in International journal of advanced computer science & applications (2024)

Get full text

Journal Article

Cover Image

Factorization using binary decision diagrams

by Raddum, Håvard, Varadharajan, Srimathi
Published in Cryptography and communications (15.05.2019)

Get full text

Journal Article

Cover Image

Optimal Scale Combination Selection Integrating Three-Way Decision With Hasse Diagram

by Zhang, Qinghua, Cheng, Yunlong, Zhao, Fan, Wang, Guoyin, Xia, Shuyin
Published in IEEE transaction on neural networks and learning systems (01.08.2022)

Get full text

Journal Article

Cover Image

Improved decisions for unknown behaviours in interactive dynamic influence diagrams

by Pan, Yinghui, Zhou, Mengen, Ma, Biyang, Zeng, Yifeng, Ong, Yew-soon, Liu, Guoquan
Published in The Artificial intelligence review (30.08.2025)

Get full text

Journal Article

Cover Image

Contraction Heuristics for Tensor Decision Diagrams

by Larsen, Christian Bøgh, Olsen, Simon Brun, Larsen, Kim Guldstrand, Schilling, Christian
Published in Entropy (Basel, Switzerland) (05.12.2024)

Get full text

Journal Article

Cover Image

A Genetic Algorithm (GA) and Swarm-Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced With Recent Operators

by Awad, Ahmed, Hawash, Amjad, Abdalhaq, Baker
Published in IEEE transactions on evolutionary computation (01.06.2023)

Get full text

Journal Article

Cover Image

Randomized OBDD-based graph algorithms

by Bury, Marc
Published in Theoretical computer science (03.12.2018)

Get full text

Journal Article

Cover Image

Decision Diagram Algorithms to Extract Minimal Cutsets of Finite Degradation Models

by Rauzy, Antoine, Yang, Liu
Published in Information (Basel) (01.12.2019)

Get full text

Journal Article

1
2
3
4
5
6
7
8
9
10
11
Next
[20]