10407 search results - page 1693 / 2082 » Market-Based Approaches to Optimization |
166
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
190
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
─ In this paper, we present Forge, an optimal algorithm for gate sizing using the Elmore delay model. The algorithm utilizes Lagrangian relaxation with a fast gradient-based pre-...
194
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
157
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
This paper proposes a new stereo model which encodes the simple assumption that the scene is composed of a few, smooth surfaces. A key feature of our model is the surfacebased rep...
162
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present an automatic and efficient method to extract spatio-temporal human volumes from video, which combines top-down model-based and bottom-up appearancebased approaches. Fr...