3591 search results - page 381 / 719 » Typing linear constraints |
187
click to vote
SAT
2007
Springer
16 years 26 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
174
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
— The accelerations of and forces among contacting rigid bodies may be computed by formulating the dynamics equations and contact constraints as a complementarity problem [1]. Da...
185
click to vote
DFT
2005
IEEE
16 years 11 days ago
2005
IEEE
Data flow graph dominant designs, such as communication video and audio applications, are common in today’s IC industry. In these designs, the datapath resources (e.g., adders,...
193
click to vote
IFIP
2005
Springer
16 years 8 days ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
186
click to vote
SPATIALCOGNITION
2004
Springer
16 years 3 days ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...