4335 search results - page 376 / 867 » Privatizing Constraint Optimization |
145
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper concerns the reconstruction of a temporally-varying scene from a video sequence of noisy linear projections. Assuming that each video frame is sparse or compressible in...
154
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
—In this paper, we present a new block budgeting algorithm which speeds up timing closure in timing driven hierarchical flows. After a brief description of the addressed flow, ...
181
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
147
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
369
click to vote
EC
2012
14 years 21 days ago
2012
In a multimodal optimization task, the main purpose is to find multiple optimal solutions (global and local), so that the user can have a better knowledge about different optima...