9521 search results - page 400 / 1905 » Compiling with continuations, continued |
141
click to vote
SCALESPACE
2009
Springer
15 years 11 months ago
2009
Springer
Adding external knowledge improves the results for ill-posed problems. In this paper we present a new multi-level optimization framework for image registration when adding landmark...
UM
2009
Springer
15 years 11 months ago
2009
Springer
The web has become a major source of information to learn about a topic. With the continuous growth of information and its high connectivity, it is hard to follow only the links th...
205
click to vote
WEA
2010
Springer
15 years 11 months ago
2010
Springer
We present a new Feasibility Pump algorithm tailored for nonconvex Mixed Integer Nonlinear Programming problems. Differences with the previously proposed Feasibility Pump algorith...
119
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we propose a two-step controller design method with control Lyapunov functions (CLFs) for nonlinear systems with convex input constraints. In the first step, we...
149
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...