4401 search results - page 138 / 881 » Computing with Default Logic |
124
click to vote
TLCA
2001
Springer
15 years 8 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
107
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
113
click to vote
CSR
2006
Springer
15 years 7 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
118
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Current trends in high-performance parallel computers show that fat-tree interconnection networks are one of the most popular topologies. The particular characteristics of this to...
138
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
In the study of PetaFlop project, Processor-In-Memory array was proposed to be a target architecture in achieving 1015 floating point operations per second computing performance. ...