Sciweavers

7379 search results - page 30 / 1476
» Distributed vector architectures
Sort
View
ESANN
2000
13 years 10 months ago
Algorithmic approaches to training Support Vector Machines: a survey
: Support Vector Machines (SVMs) have become an increasingly popular tool for machine learning tasks involving classi cation, regression or novelty detection. They exhibit good gen...
Colin Campbell
ICPR
2008
IEEE
14 years 10 months ago
A novel Gaussianized vector representation for natural scene categorization
This paper presents a novel Gaussianized vector representation for scene images by an unsupervised approach. First, each image is encoded as an ensemble of orderless bag of featur...
Hao Tang, Mark Hasegawa-Johnson, Thomas S. Huang, ...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 3 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