5465 search results - page 107 / 1093 » Assigning Types to Processes |
107
Voted
TOH
2008
15 years 2 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...
123
Voted
IRI
2006
IEEE
15 years 8 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 ...
115
click to vote
APBC
2004
15 years 4 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...
108
Voted
TLCA
2001
Springer
15 years 7 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...
111
Voted
MCU
2004
15 years 4 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 ...