2410 search results - page 133 / 482 » Multiset Ordering Constraints |
198
click to vote
ISPD
1997
ACM
15 years 10 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
167
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In various applications, the effect of errors in gradient-based iterations is of particular importance when seeking saddle points of the Lagrangian function associated with constra...
152
click to vote
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
In the present article, we introduce a new method for identification of metabolic pathways in constraint based models that consider enzyme and substrate concentrations. It genera...
178
click to vote
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
15 years 10 months ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...
167
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...