8828 search results - page 1260 / 1766 » Formal methods in practice |
202
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Microaggregation is one of the most employed microdata protection methods. The idea is to build clusters of at least k original records, and then replace them with the centroid of...
186
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
The placement of on-die decoupling capacitors (decap) between the power and ground supply grids has become a common practice in high performance processor designs. In this paper, ...
186
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Two challenges in computer vision are to accommodate noisy data and missing data. Many problems in computer vision, such as segmentation, filtering, stereo, reconstruction, inpain...
205
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...
173
click to vote
ISPD
2010
ACM
16 years 2 months ago
2010
ACM
NBTI (Negative Bias Temperature Instability) has emerged as the dominant failure mechanism for PMOS in nanometer IC designs. However, its impact on one of the most important compo...