3172 search results - page 362 / 635 » On the Random-Self-Reducibility of Complete Sets |
202
click to vote
CSJM
2008
15 years 6 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...
187
click to vote
JAIR
2006
15 years 6 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
171
click to vote
CN
2004
15 years 6 months ago
2004
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...
154
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
The optimal settings of retrieval parameters often depend on both the document collection and the query, and are usually found through empirical tuning. In this paper, we propose ...
194
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...