4083 search results - page 139 / 817 » The EvA2 Optimization Framework |
138
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
135
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The problem of finding an optimal path in an uncertain graph arises in numerous applications, including network routing, path-planning for vehicles, and the control of finite...
186
click to vote
CPAIOR
2011
Springer
14 years 8 months ago
2011
Springer
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
159
click to vote
OL
2011
14 years 7 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
142
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Three-dimensional (3D) visual scenes with pluralities of graphic objects require considerable network bandwidth to be transmitted and computing power to be rendered on a user'...