296 search results - page 46 / 60 » Using SAT-based techniques in power estimation |
146
Voted
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
—In this paper, transmission over time-selective, flat fading relay channels is studied. It is assumed that channel fading coefficients are not known a priori. Transmission tak...
143
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
138
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...
138
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Discriminative methods for visual object category recognition are typically non-probabilistic, predicting class labels but not directly providing an estimate of uncertainty. Gauss...
164
Voted
TSP
2010
14 years 10 months ago
2010
The Lasso is a popular technique for joint estimation and continuous variable selection, especially well-suited for sparse and possibly under-determined linear regression problems....