34170 search results - page 325 / 6834 » Optimization |
146
click to vote
PREMI
2005
Springer
15 years 10 months ago
2005
Springer
This paper provides an overview of a number of techniques developed within our group to perform 3D reconstruction and image segmentation based of the application of energy minimisa...
135
click to vote
WABI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
256
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
150
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
118
click to vote
AUSAI
2004
Springer
15 years 10 months ago
2004
Springer
We present a time and energy optimal controller for a two-wheeled differentially driven robot. We call a mission the task of bringing the robot from an initial state to a desired f...