6608 search results - page 1234 / 1322 » On the Completeness of Model Checking |
148
Voted
SIAMMAX
2010
14 years 10 months ago
2010
Linear Discriminant Analysis (LDA) is one of the most popular approaches for feature extraction and dimension reduction to overcome the curse of the dimensionality of the high-dime...
146
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Analysis of Cerebrospinal Fluid (CSF) samples holds great promise to diagnose neurological pathologies and gain insight into the molecular background of these patholog...
163
Voted
NAR
2011
14 years 6 months ago
2011
The growing availability of complete genomic sequences from diverse species has brought about the need to scale up phylogenomic analyses, including the reconstruction of large col...
153
Voted
ANLP
1994
15 years 5 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
130
click to vote
CVPR
1998
IEEE
16 years 5 months ago
1998
IEEE
A method is presented for e cient and reliable object recognition within noisy, cluttered, and occluded range images. The method is based on a strategy which hypothesizes the inte...