7865 search results - page 388 / 1573 » Large correlation analysis |
144
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
138
click to vote
IPMI
2001
Springer
16 years 5 months ago
2001
Springer
Spatial and temporal correlations which affect the signal measured in functional MRI (fMRI) are usually not considered simultaneously (i.e., as non-independent random processes) in...
128
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Social tagging provides valuable and crucial information for large-scale web image retrieval. It is ontology-free and easy to obtain; however, irrelevant tags frequently appear, a...
162
click to vote
STOC
2009
ACM
16 years 5 months ago
2009
ACM
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
143
Voted
CHI
2007
ACM
16 years 5 months ago
2007
ACM
For more than a decade, the number of usability test participants has been a major theme of debate among usability practitioners and researchers keen to improve usability test per...