Sciweavers

915 search results - page 126 / 183
» Proof labeling schemes
Sort
View
CEC
2010
IEEE
14 years 11 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»
14 years 11 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
14 years 11 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
14 years 11 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»
14 years 9 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...