834 search results - page 10 / 167 » A Decomposition Technique for Max-CSP |
106
click to vote
PDPTA
2000
14 years 11 months ago
2000
A class of singularly perturbed two-point boundary-value problems (BVPs) for second-order ordinary differential equations (DEs) is considered here. In order to obtain numerical sol...
99
Voted
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
We relax the long-held and problematic assumption in shape-from-shading (SFS) that albedo must be uniform or known, and address the problem of “shape and albedo from shading” ...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
IJCAI
2007
14 years 11 months ago
2007
Caching, symmetries, and search with decomposition are powerful techniques for pruning the search space of constraint problems. In this paper we present an innovative way of effi...
101
click to vote
DSP
2011
14 years 1 months ago
2011
We present a technique that efficiently describes nonstationarity by parametrizing spectral peaks in terms of the frequency reassignment operator variation and null-to-null peak b...