2695 search results - page 160 / 539 » The Complexity of Forecast Testing |
141
click to vote
EXPCS
2007
15 years 8 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
132
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...
147
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...
121
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...
163
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...