2976 search results - page 189 / 596 » On the bounded integer programming |
152
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
148
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present algorithms and lower bounds for the Longest Increasing Subsequence (LIS) and Longest Common Subsequence (LCS) problems in the data streaming model. For t...
141
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Abstract. We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size , using S...
160
click to vote
EM
2010
15 years 6 months ago
2010
On the punctured torus the number of essential self-intersections of a homotopy class of closed curves is bounded (sharply) by a quadratic function of its combinatorial length (th...
159
click to vote
TIT
1998
15 years 6 months ago
1998
— The lower and upper bounds for the information capacity of two-layer feedforward neural networks with binary interconnections, integer thresholds for the hidden units, and zero...