5075 search results - page 329 / 1015 » Convergence |
176
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
205
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
—This paper compares the performance of several structured optimization strategies in adaptive signal processing problems that are characterized by ill-conditioned error surfaces...
159
Voted
ATVA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
193
click to vote
CAIP
2005
Springer
16 years 1 months ago
2005
Springer
We consider simple cube-curves in the orthogonal 3D grid. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded set. The c...
189
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
We present a method for propagating linear constraints. Our technique exploits the fact that the interior point method converges on a central point of the polytope. A variable assi...