Results for:
"
Literal+and+figurative+language
" in Documents
- Literal and symbolic immortality: the effect of evidence of literal im...
- Three studies investigated the effect of encouraging participants to believe in an afterlife on the relationship between mortality salience and self-esteem striving. Participants were exposed to essay...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2003-4-22
- Pure Literal Look Ahead An
- In this paper we describe and analyse an improved algorithm for solving the 3-Satisfiability problem. The algorithm makes use of the concept 'Pure literal look ahead'. If F is a boolean formula in con...
-
Rating:
Views: (1017)
Pages: ()
Uploaded: 13-05-09
- Demonstration of literal three-dimensional imaging.
- In a recent paper a new technique was proposed for remote ranging and topographical mapping by using a system with a single-photon-counting detector and a low-power pulsed laser [Appl. Opt. 35, 441 (1...
-
Rating:
Views: (3)
Pages: ()
Uploaded: 2008-2-29
- The Complexity of Pure Literal Elimination
- Introduction and Preliminaries A literal a is pure in a CNF formula F if _a does not occur in F. Pure literals can always be set to true without affecting satisfiability, which amounts to the same as ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Literal algebra for satellite dynamics
- A description of the rather general class of operations available is given and the operations are related to problems in satellite dynamics. The implementation of an algebra processor is discussed. Th...
-
Rating:
Views: (1503)
Pages: ()
Uploaded: JAN 1, 1975
- The symbolic and literal in schizophrenic language.
- TOPIC: Differences between the symbolic, or poetic, and the literal in schizophrenic language. PURPOSE: To enhance the nurse's therapeutic effectiveness with these clients. SOURCE: Review of the liter...
-
Rating:
Views: (3)
Pages: ()
Uploaded: 1996-4-1
- Equivalent Literal Propagation in the DLL Procedure 2002
- We propose a simple data structure to represent all equivalent literals such as l 1 $ l 2 in a CNF formula F , and implement a special look-ahead technique, called equivalency reasoning, to propagate ...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 15-05-09
- Abstract Equivalent Literal Propagation in the DLL Procedure
- We propose a simple data structure to represent all equivalent literals such as? ?in a CNF formula?, and implement a special look-ahead technique, called equivalency reasoning, to propagate these equi...
-
Rating:
Views: (1016)
Pages: ()
Uploaded: 08-04-09