Results 261 to 270 of about 683,469 (288)

Efficient Decision Procedures

1979
Anyone can make decisions. Deciding not to decide is to make a decision and so is choosing by sticking a pin in a map. But most decisions — acts of choosing something rather than something else — are made on the basis of information. In turn, that information may be limited or comprehensive, given the state of knowledge.
David Pearce, Lynne Edwards, Geoff Beuret   +2 more
openaire   +1 more source

Bayes Burn-In Decision Procedures

Probability in the Engineering and Informational Sciences, 1990
The burn-in problem is reframed in a decision-making context. The role of the predictive life distribution in the burn-in decision problem is highlighted. The case in which the predictive distribution is a mixture of exponentials is discussed extensively.
Clarotti, C. A., Spizzichino, F.
openaire   +1 more source

DECISION-MAKING PROCEDURE AND DECISION QUALITY

Human Communication Research, 1984
Although communication scholars usually have assumed that social interaction is intrinsic to the process of producing good group decisions, some writers have argued that social interaction actually may harm the quality of group decisions. Consequently, several noninteractive group decision-making procedures have been proposed; among these are the ...
Burleson, Brant R., Levine, Barbara J., Samter, Wendy   +2 more
openaire   +1 more source

Hierarchical decision procedure

Cybernetics and Systems Analysis, 1996
The proposed procedure is intended to solve the following problem. Given are \(L\) possible decisions (options), each described by a large number of criteria. Experts compare the options by different groups of criteria and are unable to allow for all the criteria simultaneously.
openaire   +2 more sources

Resolution Strategies as Decision Procedures

Journal of the ACM, 1976
The resolution principle, an automatic inference technique, is studied as a possible decision procedure for certain classes of first-order formulas. It is shown that most previous resolution strategies do not decide satisfiability even for “simple” solvable classes.
openaire   +1 more source

From Decision Procedures to Synthesis Procedures

2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015
Software synthesis is a technique for automaticallygenerating code from a given specification. The goal of softwaresynthesis is to make software development easier while increasingboth the productivity of the programmer and the correctnessof the produced code.
openaire   +1 more source

Fuzzy Decision Procedures

1993
We get down to developing a more unified approach to decision-making with binary relations in fuzzy environment, keeping in mind the Problem of Preference Domain, the Problem of Choice Rules, the Problem of Efficiency, and the necessity of comparative study of choice rules (see Chapter 1).
openaire   +1 more source

Decision Procedures for Region Logic

2012
Region logic is Hoare logic for object-based programs. It features local reasoning with frame conditions expressed in terms of sets of heap locations. This paper studies tableau-based decision procedures for RL, the quantifier-free fragment of the assertion language.
Rosenberg S., Banerjee A., Naumann D.A.
openaire   +1 more source

Invariant Decision Procedures

Theory of Probability & Its Applications, 1976
Klimov, G. P., Kuz'min, A. D.
openaire   +2 more sources

Hierarchic decision procedures for verification

2010
Informationsverarbeitende Systeme werden ständig komplexer. Dies können reine Hardware- oder Softwaresysteme sein, oder komplexe Systeme von Hardware und Software, die mit ihrer physikalischen Umgebung interagieren. Mittels Verifikation kann sichergestellt werden, dass ein System sich in der erwarteten Weise verhält. Bei sicherheitskritischen Systemen,
openaire   +2 more sources