894 search results - page 140 / 179 » Optimizations for LTL Synthesis |
97
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Traditionally, rectilinear Steiner minimum trees (RSMT) are widely used for routing estimation in design optimizations like floorplanning and physical synthesis. Since it optimize...
120
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
In recent years the Markov Random Field (MRF) has
become the de facto probabilistic model for low-level vision
applications. However, in a maximum a posteriori
(MAP) framework, ...
106
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose a principled approach to summarization of visual data (images or video) based on optimization of a well-defined similarity measure. The problem we consider is re-target...
124
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
94
Voted
VLSID
2002
IEEE
16 years 28 days ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...