Sciweavers

915 search results - page 126 / 183
» Proof labeling schemes
Sort
View
CEC
2010
IEEE
13 years 8 months ago
The differential Ant-Stigmergy Algorithm for large-scale global optimization
— Ant-colony optimization (ACO) is a popular swarm intelligence metaheuristic scheme that can be applied to almost any optimization problem. In this paper, we address a performan...
Peter Korosec, Katerina Taskova, Jurij Silc
BMCBI
2006
146views more  BMCBI 2006»
13 years 8 months ago
A critical review of PASBio's argument structures for biomedical verbs
Background: Propositional representations of biomedical knowledge are a critical component of most aspects of semantic mining in biomedicine. However, the proper set of propositio...
K. Bretonnel Cohen, Lawrence Hunter
KI
2008
Springer
13 years 8 months ago
Multi-value Classification of Very Short Texts
We introduce a new stacking-like approach for multi-value classification. We apply this classification scheme using Naive Bayes, Rocchio and kNN classifiers on the well-known Reute...
Andreas Heß, Philipp Dopichaj, Christian Maa...
MMS
2006
13 years 8 months ago
Support vector machine active learning for music retrieval
Searching and organizing growing digital music collections requires a computational model of music similarity. This paper describes a system for performing flexible music similarit...
Michael I. Mandel, Graham E. Poliner, Daniel P. W....
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 6 months ago
Fast Self-Stabilizing Minimum Spanning Tree Construction
We present a novel self-stabilizing algorithm for minimum spanning tree (MST) construction. The space complexity of our solution is O(log2 n) bits and it converges in O(n2 ) round...
Lélia Blin, Shlomi Dolev, Maria Potop-Butuc...