Sciweavers

1897 search results - page 234 / 380
» Sparse Additive Machine
Sort
View
ICSEA
2009
IEEE
15 years 7 months ago
Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
Thomas Müller, Alois Knoll
115
Voted
LFCS
2009
Springer
15 years 7 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
99
Voted
CSSE
2008
IEEE
15 years 7 months ago
Study on Application of CAD Sonification
—The feedback of sonification on CAD analyzing information in addition to picture interface increases user’s accepting information and decreases the load of visual channel. Dat...
Zhang Yinnan, Cen Gang, Fang Zhigang
113
Voted
ICPR
2008
IEEE
15 years 7 months ago
Transductive optimal component analysis
We propose a new transductive learning algorithm for learning optimal linear representations that utilizes unlabeled data. We pose the problem of learning linear representations a...
Yuhua Zhu, Yiming Wu, Xiuwen Liu, Washington Mio
107
Voted
IJCNN
2008
IEEE
15 years 7 months ago
Feature selection based on kernel discriminant analysis for multi-class problems
— We propose a feature selection criterion based on kernel discriminant analysis (KDA) for an -class problem, which finds eigenvectors on which the projected class data are loca...
Tsuneyoshi Ishii, Shigeo Abe