12052 search results - page 531 / 2411 » computing 2010 |
178
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
203
click to vote
EOR
2010
15 years 4 months ago
2010
: We present new valid inequalities for 0-1 programming problems that work in similar ways to well known cover inequalities. Discussion and analysis of these cuts is followed by th...
181
click to vote
IJPRAI
2010
15 years 4 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
198
click to vote
IMCSIT
2010
15 years 4 months ago
2010
The aim of this paper is to show that a special kind of boundary value problem for second-order ordinary differential equations which reduces to the problem of solving a tridiagona...
152
click to vote
INFORMS
2010
15 years 4 months ago
2010
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...