8780 search results - page 385 / 1756 » On the Feasibility of Consistent Computations |
216
click to vote
DL
1999
Springer
15 years 12 months ago
1999
Springer
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
209
click to vote
SPAA
1998
ACM
15 years 12 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
228
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Crowd simulations require both rendering visually plausible images and managing the behavior of autonomous agents. Therefore, these applications need an efficient design that allo...
210
click to vote
ICEBE
2005
IEEE
16 years 1 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
189
click to vote
CSL
2003
Springer
16 years 26 days ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...