2725 search results - page 88 / 545 » Constraint Solving for Interpolation |
111
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
90
Voted
CP
1998
Springer
15 years 5 months ago
1998
Springer
In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representati...
96
Voted
TSP
2010
14 years 7 months ago
2010
Abstract--This correspondence revisits the joint transceiver optimization problem for multiple-input multiple-output (MIMO) channels. The linear transceiver as well as the transcei...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Evolutionary algorithms have employed the SAW (Stepwise Adaptation of Weights) method in order to solve CSPs (Constraint Satisfaction Problems). This method originated in hill-clim...
119
click to vote
JMLR
2012
13 years 3 months ago
2012
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...