Assessing diversity for binary decision systems
Binary Decision Tree
... Multi-agent systems can be extremely powerful, but they neglect a powerful resource − the ...possible systems, we need to consider the strengths and weaknesses of human and machine reasoning, designing an ...
10
Decision Making Using Rating Systems: When Scale Meets Binary
... Rating systems are widely used in business, political systems, and in our daily lives as methods of containing and communicating information that is crucial to the decision making ...rating ...
25
Assessing an ontology for the representation of clinical protocols in decision support systems
... In addition to using the task model just as the other models do, it makes use of terminologies to avoid semantic ambiguity in the definition of clinical terms, and employs the HL7 Reference Information Model (RIM) to ...
8
Equational binary decision diagrams
... We think that it is important future work to extend EQ-BDDs with function symbols. Our original motivation behind this article comes from our investigation into the analysis of distributed systems and protocols. ...
22
A binary decision diagram method for phased mission analysis of non-repairable systems
... For systems which are non- repairable throughout the duration of the mission, such as an aircraft flight, fault tree methods offer the most efficient ...utilize binary decision diagrams (BDDs) as a ...
13
Assessing energy efficient retrofitting process: decision support systems analysis
... free decision support system, even though in the case of a demo version of the complete program, could play an important role in knowledge diffusion and in raising awareness of the several different actors ...
147
Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation
... State-of-the-art MAS theories account for a variety of at- titudes of the agents, such as their knowledge, beliefs, de- sires, as well as their temporal evolution. All these attitudes are expressed in MAS logics by means ...
8
A Binary Neural Decision Table Classifier
... AURA AURA has been used in an information retrieval system[H01], high speed rule matching systems[AKL95], 3-D structure matching[TA00] and trademark searching[AA98]. AURA techniques have demonstrated superior ...
8
Ordered binary decision diagrams as knowledge-bases
... The unateness of functions f | x n = 0 and f | x n = 1 can be checked by applying Property 4.2 recursively, but we also have to check an additional condition that f | x n = 0 and f | x n = 1 have the same polarity. Our ...
25
Diversity in decision making for competitive advantage : conceptualising the impact diversity of ideas has on decision making efficiency
... social systems, such as organisations, result from the purposes individuals have and that these, in turn, stem from the interpretations they make of the situations in which they find ...soft systems ...
148
Improving the Reliability of Decision-Support Systems for Nuclear Emergency Management by Leveraging Software Design Diversity
... that decision-support systems for nuclear emergency management are used in a safety-critical application context, the methods intro- duced in this paper help improve the reliability of the system and the ...
20
Improving the Reliability of Decision-Support Systems for Nuclear Emergency Management Using Software Diversity Methods
... ATSTEP_v1(v2) Simulation code DIPCOT_v1(v2) RIMPUFF_v1(v2) Simulation code Input data and parameters: A270B180 A270B180 A270B180 A270B180 Strict Consensus.. A Taxonomy-Based Voter for Di[r] ...
25
Distributed binary decision diagrams
... When workstations are on the same computing host (similar to a distributed shared memory multiprocessor), the number of network transactions reduces as the cache size increases until the[r] ...
107
A Library for Binary Decision Diagrams
... 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 ...
48
GRAPHS AND BINARY SYSTEMS
... Using this device we show that we may obtain many results of interest concerning groupoids by reinterpreting graph theoretical properties and at the same time results on graphs G may be [r] ...
12
Binary and Multiple Systems
... about binary and multiple systems has been gained via lightcurve observations and direct imaging from the Hubble Space Telescope and with adaptive optics (for systems from the near-Earth population ...
9
Binary Numbering Systems
... 83: Binary Numbering Systems To understand why a numbering system in which only one bit changes at a time is useful, consider the optical sensor shown in Figure ...a binary shaft encoder with 2 ...
16
A Binary Neural Decision Table Classifier
... a binary associative-memory neural network. We demonstrate how the binary associative-memory neural network can form the decision table index to map between attribute values and data ...the ...
8
A rewriting approach to binary decision diagrams
... Binary decision diagrams (BDDs) provide an established technique for propositional formula ma- nipulation. In this paper, we present the basic BDD theory by means of standard rewriting techniques. Since a ...
26
Binary decision diagrams and integer programming
... since most combinatorial optimization problems are modeled with decision variables and thus are 0/1 integer programs (0/1 IPs). In the following we will deal with 0/1 IPs, which are w.l.[r] ...
98