Sciweavers

554 search results - page 91 / 111
» Lattice Independent Component Analysis for fMRI Analysis
Sort
View
FORTE
1994
13 years 10 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
BMCBI
2010
155views more  BMCBI 2010»
13 years 9 months ago
A flexible R package for nonnegative matrix factorization
Background: Nonnegative Matrix Factorization (NMF) is an unsupervised learning technique that has been applied successfully in several fields, including signal processing, face re...
Renaud Gaujoux, Cathal Seoighe
PAMI
2002
114views more  PAMI 2002»
13 years 8 months ago
Principal Manifolds and Probabilistic Subspaces for Visual Recognition
We investigate the use of linear and nonlinear principal manifolds for learning low-dimensional representations for visual recognition. Several leading techniques: Principal Compo...
Baback Moghaddam
BMCBI
2010
116views more  BMCBI 2010»
13 years 9 months ago
permGPU: Using graphics processing units in RNA microarray association studies
Background: Many analyses of microarray association studies involve permutation, bootstrap resampling and crossvalidation, that are ideally formulated as embarrassingly parallel c...
Ivo D. Shterev, Sin-Ho Jung, Stephen L. George, Ko...
CVPR
2007
IEEE
14 years 11 months ago
Learning a Spatially Smooth Subspace for Face Recognition
Subspace learning based face recognition methods have attracted considerable interests in recently years, including Principal Component Analysis (PCA), Linear Discriminant Analysi...
Deng Cai, Xiaofei He, Yuxiao Hu, Jiawei Han, Thoma...