Results 301 to 310 of about 4,459,628 (347)

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.
Stan Rosenberg, Anindya Banerjee 0001, David A. Naumann   +2 more
openaire   +1 more source

A Decision Procedure for Countable Metrics

Proceedings of 2020 6th International Conference on Computing and Data Engineering, 2020
In this article, we show how to count metrics which is abstract to some degree and hard to illuminate. The range of these metrics would be the set of natural numbers which could then be exploited to further derive the countable metrics for rational numbers.
openaire   +1 more source

Procedural fairness enacted by societal actors increases social trust and social acceptance among ethnic minority members through the promotion of sense of societal belonging

, 2020
Although procedural fairness has been studied frequently during the past decades, little work has focused explicitly on how procedural fairness affects members of ethnic minorities in the context of multicultural decision-making processes. The aim of the
Barbara Valcke, A. Hiel, Emma Onraet, Kim Dierckx   +3 more
semanticscholar   +1 more source

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   +3 more sources

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

A Framework for Cooperating Decision Procedures

2000
We present a flexible framework for cooperating decision procedures. We describe the properties needed to ensure correctness and show how it can be applied to implement an efficient version of Nelson and Oppen’s algorithm for combining decision procedures. We also show how a Shostak style decision procedure can be implemented in the framework in such a
Clark W. Barrett, David L. Dill, Aaron Stump   +2 more
openaire   +1 more source

Do the Ends Justify the Means? Variation in the Distributive and Procedural Fairness of Machine Learning Algorithms

Journal of Business Ethics, 2021
Lily Morse, M. Teodorescu, Yazeed Awwad, Gerald C. Kane   +3 more
semanticscholar   +1 more source

Supporting Wicked Problems with Procedural Decision Support Systems

Research Conference of the South African Institute of Computer Scientists and Information Technologists, 2016
C. Pretorius
semanticscholar   +1 more source

Turning decision procedures into disprovers

Mathematical Logic Quarterly, 2008
AbstractA class of many‐sorted polyadic set algebras is introduced. These generalise structure and model in a way that is relevant in regards to the Entscheidungsproblem and to automated reasoning.A downward Löwenheim‐Skolem property is shown in that each satisfiable finite conjunction of purely relational first‐order prenex sentences has a finite ...
openaire   +1 more source

Invariant Decision Procedures

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