Results 11 to 20 of about 3,877,335 (299)
A Kamm’s Circle-Based Potential Risk Estimation Scheme in the Local Dynamic Map Computation Enhanced by Binary Decision Diagrams [PDF]
Autonomous vehicles (AV) are a hot topic for safe mobility, which inevitably requires sensors to achieve autonomy, but relying too heavily on sensors will be a risk factor.
Arvind Kumar, Hiroaki Wagatsuma
doaj +2 more sources
Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams
New wind turbines are becoming more complex and reliability analysis of them rising in complexity. The systems are composed of many components. Fault tree is used as an useful tool to analyze these interrelations and provide a scheme of the wind turbine,
Fausto Pedro García Márquez +3 more
doaj +3 more sources
Reliability is the important characteristic of systems. Most of the systems consist of more than one component. Moreover, modern systems are very complex and they include a lot of components. Therefore, effective methods have to be developed for analysis
Jozef Kostolny +2 more
doaj +2 more sources
Compressing Binary Decision Diagrams
The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompression can be done in linear time in the size of the BDD and compression will in many cases reduce the size of the BDD to 1-2 bits per node.
Hansen, Esben Rune +2 more
core +5 more sources
The wind energy industry is expanding in order to be able to meet the current and future energy demand, and is supported by governments in that renewable energy investment has been made.
Fausto Pedro García Márquez +2 more
doaj +3 more sources
Optimization Bounds From Binary Decision Diagrams
We explore the idea of obtaining bounds on the value of an optimization problem from a discrete relaxation based on binary decision diagrams (BDDs). We show how to construct a BDD that represents a relaxation of a 0-1 optimization problem, and how to obtain a bound for a separable objective function by solving a shortest (or longest) path problem in ...
Andre Augusto Cire +2 more
exaly +3 more sources
Learning ordered binary decision diagrams
Postprint (published version)
Gavaldà Mestre, Ricard +1 more
core +4 more sources
Ordered Binary Decision Diagrams as Knowledge-Bases
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +4 more sources
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams
Recently, through the progress achieved in the study of computer science, automated test assemblies of parallel test forms, for which each form has equivalent measurement accuracy but with a different set of items, have emerged as a new standard tool. An
Kazuma Fuchimoto +2 more
doaj +1 more source
Practical Data-in-Use Protection Using Binary Decision Diagrams
Protection of data-in-use, contrary to the protection of data-at-rest or data-in-transit, remains a challenge. Cryptography advances such as Fully Homomorphic Encryption (FHE) provide theoretical, albeit impractical, solutions to functionally-complete ...
Oleg Mazonka +4 more
doaj +1 more source

