In this paper we present a fusion technique for Support Vector Machine (SVM) scores, obtained after a dimension reduction with Bilateralprojection-based Two-Dimensional Principal C...
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
Original z-buer method is a very ecient method for image generation. The limitation is that it introduces aliases into the output image. Although many dierent kinds of methods h...
The Double Vector Quantization (DVQ) method, a long-term forecasting method based on the self-organizing maps algorithm, has been used to predict the 100 missing values of the CAT...
Geoffroy Simon, John Aldo Lee, Marie Cottrell, Mic...
We study the use of kernel subspace methods that learn low-dimensional subspace representations for classification tasks. In particular, we propose a new method called kernel weigh...