2673 search results - page 261 / 535 » Guided Static Analysis |
174
click to vote
ISLPED
2009
ACM
16 years 23 days ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
136
click to vote
KCAP
2009
ACM
16 years 23 days ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
167
click to vote
SMA
2009
ACM
16 years 23 days ago
2009
ACM
Current mesh reduction techniques, while numerous, all primarily reduce mesh size by successive element deletion (e.g. edge collapses) with the goal of geometric and topological f...
161
click to vote
ICIAR
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper presents an approach based on graph cuts initially used for motion segmentation that is being applied to the nonrigid registration problem. The main contributi...
178
click to vote
ACCV
2006
Springer
16 years 7 days ago
2006
Springer
Relevance feedback (RF) and region-based image retrieval (RBIR) are two widely used methods to enhance the performance of contentbased image retrieval (CBIR) systems. In this paper...