Sciweavers

3413 search results - page 92 / 683
» New Support Vector Algorithms
Sort
View
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 4 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
PAKDD
2005
ACM
112views Data Mining» more  PAKDD 2005»
15 years 3 months ago
Approximated Clustering of Distributed High-Dimensional Data
In many modern application ranges high-dimensional feature vectors are used to model complex real-world objects. Often these objects reside on different local sites. In this paper,...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
SC
1993
ACM
15 years 2 months ago
Volume rendering of 3D scalar and vector fields at LLNL
Simulation of complex 3-dimensional phenomena generate data sets which are hard to comprehend using conventional 2-dimensionally oriented visualization tools. One way to overcome ...
Roger Crawfis, Nelson L. Max, Barry G. Becker, Bri...
MVA
2000
191views Computer Vision» more  MVA 2000»
14 years 11 months ago
Development of Visual Inspection System Based on Vector Analysis Technique
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
Masatake Sakuma, Katsumi Kubo, Shigeru Kanemoto, T...
NCA
2010
IEEE
14 years 8 months ago
Genetic algorithm-based training for semi-supervised SVM
The Support Vector Machine (SVM) is an interesting classifier with excellent power of generalization. In this paper, we consider applying the SVM to semi-supervised learning. We p...
Mathias M. Adankon, Mohamed Cheriet