10539 search results - page 16 / 2108 » On L |
CACM
2010
13 years 7 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
IJON
2010
13 years 6 months ago
2010
Linear Discriminant Analysis (LDA) is a well-known scheme for supervised subspace learning. It has been widely used in the applications of computer vision and pattern recognition....
CVPR
2010
IEEE
13 years 5 months ago
2010
IEEE
The calculation of a low-rank approximation of a matrix is a fundamental operation in many computer vision applications. The workhorse of this class of problems has long been the ...
ACL
2009
13 years 5 months ago
2009
Stochastic gradient descent (SGD) uses approximate gradients estimated from subsets of the training data and updates the parameters in an online fashion. This learning framework i...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
This paper presents a new normalcy model of a scene for change detection using images taken from multiple views and varying illumination conditions. Each coregistered pixel site i...