Results 181 to 190 of about 887 (242)
Some of the next articles are maybe not open access.

Related searches:

Property Directed Abstract Interpretation

2015
Recently, Bradley proposed the PDR/IC3 model checking algorithm for verifying safety properties, where forward and backward reachability analyses are intertwined, and guide each other. Many variants of Bradley's original algorithm have been developed and successfully applied to both hardware and software verification.
Noam Rinetzky, Sharon Shoham
openaire   +1 more source

Alzheimer’s, Advance Directives, and Interpretive Authority

The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine, 2023
AbstractPhilosophers have debated whether the advance directives of Alzheimer’s patients should be enforced, even if patients seem content in their demented state. The debate raises deep questions about the nature of human autonomy and personal identity.
openaire   +2 more sources

Direct Bayesian interpretation of visual motion

Robotics and Autonomous Systems, 1995
Abstract We propose a Bayesian formulation for the direct interpretation of visual motion. Direct interpretation bypasses the explicit computation of optical flow to involve directly the three dimensional unknowns of motion and depth. The Bayesian formulation rests on Markov Random Field modeling, a formalism that has been shown to be quite powerful ...
Robert Laganière, Amar Mitiche
openaire   +1 more source

Interpretation of an Ambiguous Advance Directive

Dimensions of Critical Care Nursing, 1995
Advance directives are statements made by a person who is capable of making decisions regarding health care choices that need to be applied at a future time when the person may no longer be capable of decision making. A patient may present a life-threatening condition with an ambiguous advance directive, and a delay in decision making could compromise ...
openaire   +2 more sources

Direct interpretation of dreams: Neuropsychology

The American Journal of Psychoanalysis, 1996
Although the role and importance of the interpretation of dreams has been de-emphasized in clinical discussions for the past several decades, new models of dream physiology suggest the central role and importance of dreams in the regulation of behavior. According to a body of current research, dreams potentiate new pathways of problem solving. A review
openaire   +2 more sources

Direct interpretation of dreams: Typology

The American Journal of Psychoanalysis, 1992
The dream typology assorts dreams into three major categories: dreams whose origin is endogenous, exogenous, or relational. Dreams of the first type arise from somatic needs, feelings, and states that accompany organismic adjustments to system requirements.
openaire   +2 more sources

The Interpretation of Meta Grammars Describing Syntax-Directed Interpreters Using an Attribute Grammar Interpreter

IEEE Transactions on Software Engineering, 1982
A syntax-directed interpreter of attribute grammars is applied to interpret meta grammars describing translators. A specific example is used which concerns the formal description of the same syntax-directed interpreter of attribute grammars for illustration of our approach.
John Kontos, George K. Papakonstantinou
openaire   +1 more source

Home - About - Disclaimer - Privacy