Sciweavers

2177 search results - page 135 / 436
» Relative Margin Machines
Sort
View
CLOUD
2010
ACM
14 years 3 months ago
Lithium: virtual machine storage for the cloud
To address the limitations of centralized shared storage for cloud computing, we are building Lithium, a distributed storage system designed specifically for virtualization workl...
Jacob Gorm Hansen, Eric Jul
CSFW
2010
IEEE
14 years 2 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
PARLE
1994
14 years 1 months ago
Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines
Sparse matrix-vector multiplication forms the heart of iterative linear solvers used widely in scientific computations (e.g., finite element methods). In such solvers, the matrix-v...
Louis H. Ziantz, Can C. Özturan, Boleslaw K. ...
MVA
2007
127views Computer Vision» more  MVA 2007»
13 years 11 months ago
Assessment of Post-Stroke Functioning Using Machine Vision
We present a system to automatically assess the functional performance of stroke survivors along axes defined by the Arm Motor Ability Test (AMAT). The upper body motion of seven...
Sonya Allin, Deva Ramanan
NIPS
2000
13 years 11 months ago
Rate-coded Restricted Boltzmann Machines for Face Recognition
We describe a neurally-inspired, unsupervised learning algorithm that builds a non-linear generative model for pairs of face images from the same individual. Individuals are then ...
Yee Whye Teh, Geoffrey E. Hinton