1058 search results - page 87 / 212 » Fault-Tolerant Resource Reasoning |
97
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
103
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
88
Voted
JSA
2008
15 years 20 days ago
2008
Modern day applications require use of multi-processor systems for reasons of performance, scalability and power efficiency. As more and more applications are integrated in a sing...
70
Voted
ECBS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
107
Voted
ACL
2003
15 years 2 months ago
2003
We introduce a probabilistic noisychannel model for question answering and we show how it can be exploited in the context of an end-to-end QA system. Our noisy-channel system outp...