6456 search results - page 354 / 1292 » Constraint Solving on Terms |
160
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
Previous work [5], [2] have developed an approach for estimating shape and albedo from multiple images assuming Lambertian reflectance with single light sources. The main contrib...
165
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
? We describe a synthesis system that takes operating range constraints and inter- and intra- circuit parametric manufacturing variations into account while designing a sized and b...
173
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
177
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
In this paper we introduce through-the-lens camera control, a body of techniques that permit a user to manipulate a virtual camera by controlling and constraining features in the ...
175
click to vote
EXPCS
2007
15 years 10 months ago
2007
Combinatorial optimization problems expressed as Boolean constraint satisfaction problems (BCSPs) arise in several contexts, ranging from the classical unate set-packing problems ...