Sciweavers

682 search results - page 49 / 137
» Classifying arguments by scheme
Sort
View
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
15 years 6 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
AIME
1995
Springer
15 years 1 months ago
Coordinating Taxonomies: Key to Re-Usable Concept Representations
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
Alan L. Rector
LWA
2008
14 years 11 months ago
Weighted Voting as Approximate MAP Prediction in Pairwise Classification
Weighted voting is the commonly used strategy for combining predictions in pairwise classification. Even though it shows excellent performance in practice, it is often criticized ...
Eyke Hüllermeier, Stijn Vanderlooy
ICML
2004
IEEE
15 years 10 months ago
A MFoM learning approach to robust multiclass multi-label text categorization
We propose a multiclass (MC) classification approach to text categorization (TC). To fully take advantage of both positive and negative training examples, a maximal figure-of-meri...
Sheng Gao, Wen Wu, Chin-Hui Lee, Tat-Seng Chua
IJCAI
2001
14 years 11 months ago
A Simple Additive Re-weighting Strategy for Improving Margins
We present a sample re-weighting scheme inspired by recent results in margin theory. The basic idea is to add to the training set replicas of samples which are not classified with...
Fabio Aiolli, Alessandro Sperduti