8094 search results - page 326 / 1619 » Improvements in Formula Generalization |
139
Voted
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Empirical studies of information retrieval methods show that good retrieval performance is closely related to the use of various retrieval heuristics, such as TF-IDF weighting. On...
170
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...
172
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
167
click to vote
NIPS
2000
15 years 7 months ago
2000
It has long been known that lateral inhibition in neural networks can lead to a winner-take-all competition, so that only a single neuron is active at a steady state. Here we show...
168
click to vote
ECCC
2007
15 years 6 months ago
2007
A central line of research in the area of PCPs is devoted to constructing short PCPs. In this paper, we show that if we allow an additional interactive verification phase, with v...