2976 search results - page 436 / 596 » On the bounded integer programming |
146
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
124
Voted
ICCV
2005
IEEE
16 years 4 months ago
2005
IEEE
A new framework is presented that uses tools from duality theory of linear programming to derive graph-cut based combinatorial algorithms for approximating NP-hard classification ...
116
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
100
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
116
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
We have considered a problem of continuous piecewise linear approximation of the digital curves with a minimum number of the line segments. Fast suboptimal algorithm for constrain...