12015 search results - page 1991 / 2403 » Interactive Algorithms 2005 |
198
click to vote
CP
2005
Springer
16 years 11 days 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...
213
click to vote
CPM
2005
Springer
16 years 11 days 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]....
160
click to vote
CSL
2005
Springer
16 years 11 days 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...
175
click to vote
DAGM
2005
Springer
16 years 11 days 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 ...
176
click to vote
DAGM
2005
Springer
16 years 11 days 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:...