1321 search results - page 164 / 265 » Subtyping in Logical Form |
185
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
146
click to vote
ITC
2000
IEEE
15 years 10 months ago
2000
IEEE
Concurrent error detection (CED) techniques (based on hardware duplication, parity codes, etc.) are widely used to enhance system dependability. All CED techniques introduce some ...
170
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
149
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
190
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...