1585 search results - page 205 / 317 » A framework for computer-aided validation |
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
160
click to vote
KDD
2010
ACM
15 years 7 months ago
2010
ACM
Constrained clustering has been well-studied for algorithms like K-means and hierarchical agglomerative clustering. However, how to encode constraints into spectral clustering rem...
153
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Pseudomonas aeruginosa, an opportunistic pathogen, is often encountered in chronic lung diseases such as cystic fibrosis or chronic obstructive pneumonia, as well as a...
134
click to vote
JSAC
2006
15 years 3 months ago
2006
The characterization of the transfer function of the power line (PL) channel is a nontrivial task that requires a truly interdisciplinary approach. Until recently, a common attribu...
155
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We address the problem of label assignment in computer
vision: given a novel 3-D or 2-D scene, we wish to assign a
unique label to every site (voxel, pixel, superpixel, etc.). To...