1181 search results - page 113 / 237 » constraints 2004 |
SAT
2004
Springer
14 years 2 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
DATE
2004
IEEE
14 years 19 days ago
2004
IEEE
Many high-end DSP processors employ both multiple memory banks and heterogeneous register files to improve performance and power consumption. The complexity of such architectures ...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
In computed tomography, direct inversion of the Radon transform requires more projections than are practical due to constraints in scan time and image accessibility. Therefore, it...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We consider the problem of localizing the articulated and deformable shape of a walking person in a single view. We represent the non-rigid 2D body contour by a Bayesian graphical...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishin...