2976 search results - page 97 / 596 » On the bounded integer programming |
94
Voted
IJCGA
2000
15 years 10 days ago
2000
Quadrilateral meshing algorithms impose certain constraints on the number of intervals or mesh edges of the curves bounding a surface. When constructing a conformal mesh of a colle...
108
Voted
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
93
Voted
FGCS
2008
15 years 18 days ago
2008
This paper presents a grid-enabled system for solving large-scale mixed integer programming (MIP) problems. The system has been developed using Globus and MPICH-G2, and consists o...
110
Voted
ENDM
2010
15 years 18 days ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
86
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...