5465 search results - page 107 / 1093 » Assigning Types to Processes |
TOH
2008
14 years 9 months ago
2008
Participants haptically (versus visually) classified universal facial expressions of emotion (FEEs) depicted in simple 2D raised-line displays. Experiments 1 and 2 established that...
IRI
2006
IEEE
15 years 4 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...
APBC
2004
14 years 11 months ago
2004
Mutation in HIV-1 is extremely rapid, a consequence of a low-fidelity viral reverse transcription process. The envelope gene has been shown to accumulate substitutions at a rate o...
TLCA
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
MCU
2004
14 years 11 months ago
2004
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...