3238 search results - page 200 / 648 » On the Computational Interpretation of Negation |
125
click to vote
DCC
1997
IEEE
15 years 10 months ago
1997
IEEE
: Mean shape-gain vector quantization (MSGVQ) is extended to include negative gains and square isometries. Square isometries together with a classi cation technique based on averag...
211
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
163
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
190
click to vote
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
170
click to vote
SOFSEM
1997
Springer
15 years 10 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...