3690 search results - page 309 / 738 » Computation with classical sequents |
172
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
139
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
142
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—Evaluating the performance of a classification algorithm critically requires a measure of the degree to which unseen examples have been identified with their correct class lab...
173
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We point out a problem inherent in the optimization scheme of many popular feature selection methods. It follows from the implicit assumption that higher feature selecti...
169
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
The incremental updating of classifiers implies that their internal parameter values can vary according to incoming data. As a result, in order to achieve high performance, incre...