3333 search results - page 566 / 667 » Abstract Proof Search |
156
click to vote
CP
2005
Springer
15 years 9 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...
136
click to vote
EMMCVPR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
157
click to vote
ER
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In order to analyze the behavior of moving objects, a measure for determining the similarity of trajectories needs to be defined. Although research has been conducted th...
131
Voted
EUROGP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
125
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...