Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Implicit algorithms; Maximum bipartite matchings; Ordered binary decision diagrams
مقالات ISI نمودارهای تصمیم گیری باینری مرتب شده اند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
On the OBDD representation of some graph classes
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Convex graphs; Implicit graph representations; Interval graphs; Regular graphs; Ordered binary decision diagrams; Threshold graphs;
A Binary Decision Diagram based on-line testing of digital VLSI circuits for feedback bridging faults
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; On-line testing; Bridging fault model; Ordered Binary Decision Diagrams; Fault coverage; Area overheadOLT, on-line testing; BIST, built in self test; CUT, circuit under test; DFT, design for testability; FSM, finite state machine; BDD, Binary Decision Dia
A simpler counterexample to a long-standing conjecture on the complexity of Bryantʼs apply algorithm
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Analysis of algorithms; Computational complexity; Ordered binary decision diagrams
On efficient implicit OBDD-based algorithms for maximal matchings
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Implicit graph algorithms; Maximal matchings; Ordered binary decision diagrams
Priority functions for the approximation of the metric TSP
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Approximation algorithms; Implicit graph algorithms; Ordered binary decision diagrams; Traveling salesperson problem
Larger lower bounds on the OBDD complexity of integer multiplication
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Communication complexity; Computational complexity; Integer multiplication; Lower bounds; Ordered binary decision diagrams;
Fast, memory-efficient regular expression matching with NFA-OBDDs
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Network intrusion detection; Finite automata; Regular expressions; Ordered binary decision diagrams
On the use of OBDDs in model-based diagnosis: An approach based on the partition of the model
Keywords: نمودارهای تصمیم گیری باینری مرتب شده اند; Model-based diagnosis; Model compilation; Model partitioning; Ordered Binary Decision Diagrams