16666 search results - page 2751 / 3334 » Descriptive and Computational Complexity |
194
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
176
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
172
click to vote
MICCAI
2007
Springer
16 years 8 months ago
2007
Springer
Accurately describing interactions between medical devices and anatomical structures, or between anatomical structures themselves, is an essential step towards the adoption of comp...
164
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
219
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a particular linear combination of the input variables while constraining the numb...