968 search results - page 148 / 194 » Evaluating Benchmark Subsetting Approaches |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— We use a novel virtualization-based approach for computer architecture performance analysis. We present a case study analyzing a hypothetical hybrid main memory, which consists...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
How can knowing about some categories help us to discover new ones in unlabeled images? Unsupervised visual category discovery is useful to mine for recurring objects without huma...