2725 search results - page 202 / 545 » Constraint Solving for Interpolation |
160
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...
125
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a new series of distributed constraint satisfaction algorithms, the distributed breakout algorithms, which is inspired by local search algorithms for solving the constr...
149
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The 2- 1 sparse signal minimization problem can be solved efficiently by gradient projection. In many applications, the signal to be estimated is known to lie in some range of va...
120
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
120
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we study the joint power and channel resource allocation problem for a multiuser F/TDMA decodeand-forward (DF) relay network under per-node power constraints and ...