998 search results - page 38 / 200 » From Feasible Proofs to Feasible Computations |
ISQED
2005
IEEE
14 years 1 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
TOMS
2010
13 years 6 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper addresses the problem of computing visual hulls from image contours. We propose a new hybrid approach which overcomes the precision-complexity trade-off inherent to vox...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Bio-engineered cartilage has made substantial progress over the last years. Preciously few cases, however, are known where patients were actually able to benefit from these develop...