4266 search results - page 194 / 854 » The container loading problem |
166
click to vote
SPIRE
2010
Springer
15 years 2 months ago
2010
Springer
The Longest Common Subsequence (LCS) of two or more strings is a fundamental well-studied problem which has a wide range of applications throughout computational sciences. When the...
120
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
135
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
We present two new support vector approaches for ordinal regression. These approaches find the concentric spheres with minimum volume that contain most of the training samples. B...
127
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
140
click to vote
COCOON
2003
Springer
15 years 9 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...