10916 search results - page 2172 / 2184 » On Constructive Connectives and Systems |
150
Voted
CONCURRENCY
2000
15 years 20 days ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
106
Voted
COMPUTER
2002
15 years 20 days ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
117
Voted
NRHM
2000
15 years 19 days ago
2000
Collecting, analyzing, and sharing information via a hypertext results in the continuous modification of information content over a long period of time. Such tasks will benefit fr...
132
Voted
CACM
1998
15 years 16 days ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
112
Voted
NDJFL
1998
15 years 15 days ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...