Sciweavers

1812 search results - page 119 / 363
» A Support Vector Method for Clustering
Sort
View
JACM
2002
163views more  JACM 2002»
15 years 3 months ago
Formal verification of standards for distance vector routing protocols
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gu...
152
Voted
ESWA
2008
166views more  ESWA 2008»
15 years 3 months ago
Modular design to support green life-cycle engineering
The severe competition in the market has driven enterprises to produce a wider variety of products to meet consumers' needs. However, frequent variation of product specificat...
Hwai-En Tseng, Chien-Chen Chang, Jia-Diann Li
CMIG
2010
110views more  CMIG 2010»
14 years 11 months ago
Unsupervised SVM-based gridding for DNA microarray images
This paper presents a novel method for unsupervised DNA microarray gridding based on Support Vector Machines (SVMs). Each spot is a small region on the microarray surface where cha...
Dimitris G. Bariamis, Dimitris Maroulis, Dimitrios...
ICML
2004
IEEE
16 years 4 months ago
Multi-task feature and kernel selection for SVMs
We compute a common feature selection or kernel selection configuration for multiple support vector machines (SVMs) trained on different yet inter-related datasets. The method is ...
Tony Jebara
ICMCS
2006
IEEE
117views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Distributed SVM Applied to Image Classification
This paper proposes an algorithm for distributed classification, based on a SVM scheme. The contribution of each support vector is approximated by low complexity distributed thre...
Effrosini Kokiopoulou, Pascal Frossard