2877 search results - page 192 / 576 » The Complexity of Planarity Testing |
133
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
149
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
A problem of using mixture-of-Gaussian models for unsupervised texturesegmentationisthat "multimodal"textures(such ascan often be encountered in natural images) cannot b...
123
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
This paper proposes several low complexity algorithmic modifications to the SPIHT (Set Partitioning in Hierarchical Trees) image coding method of [3]. The modifications exploit un...
167
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
The wavelet decomposition of a high-dimensional shape transformation posed in a mass-preserving framework is used as a morphological signature of a brain image. Population differe...
133
click to vote
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
The protein inference problem represents a major challenge in shotgun proteomics. Here we describe a novel Bayesian approach to address this challenge that incorporates the predict...