5075 search results - page 329 / 1015 » Convergence |
160
Voted
ISCAS
2005
IEEE
16 years 10 days 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...
172
click to vote
ISCAS
2005
IEEE
16 years 10 days 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...
144
click to vote
ATVA
2005
Springer
16 years 9 days 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...
171
click to vote
CAIP
2005
Springer
16 years 9 days 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...
168
click to vote
CP
2005
Springer
16 years 9 days 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...