2976 search results - page 249 / 596 » On the bounded integer programming |
254
click to vote
ICDE
1995
IEEE
16 years 6 months ago
1995
IEEE
We describe a numbering scheme for versions with alternatives that has a useful lexicographical ordering. The version hierarchy is a tree. By inspection of the version numbers, we...
128
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
173
click to vote
ICML
2001
IEEE
16 years 5 months ago
2001
IEEE
This work is concerned with the estimation of a classifier's accuracy. We first review some existing methods for error estimation, focusing on cross-validation and bootstrap,...
111
click to vote
STACS
2009
Springer
15 years 12 months ago
2009
Springer
The Prefix table of a string reports for each position the maximal length of its prefixes starting here. The Prefix table and its dual Suffix table are basic tools used in the d...
132
click to vote
TACAS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...