12015 search results - page 1991 / 2403 » Interactive Algorithms 2005 |
215
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
239
click to vote
CPM
2005
Springer
16 years 1 months ago
2005
Springer
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
175
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...
200
click to vote
DAGM
2005
Springer
16 years 1 months ago
2005
Springer
This paper addresses a common problem in dealing with range images. We propose a novel method to fit surfaces of known types via a parameter decomposition approach. This approach ...
206
click to vote
DAGM
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces a new operator to characterize a point in an image in a distinctive and invariant way. The robust recognition of points is a key technique in computer vision:...