1776 search results - page 140 / 356 » Uncertain Linear Constraints |
112
Voted
TCS
2010
14 years 11 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
158
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
143
Voted
SMI
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a method for deforming piecewise linear 3D curves with constant length constraint. We show how this constraint can be integrated into a multiresolution editing tool all...
130
Voted
ISPD
1999
ACM
15 years 9 months ago
1999
ACM
- Route Embedding, a new method for mitigating the impact of crosstalk, is presented. It modifies a set of global-route structures to prevent timing and noise-margin violations ca...
131
click to vote
ISSS
1997
IEEE
15 years 9 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...