1722 search results - page 197 / 345 » Generating Tests from Counterexamples |
81
Voted
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new approach to measure texture directions and estimate illumination tilt angle of 3D surface textures by using mojette transform. Feature vectors are genera...
108
Voted
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper introduces a novel stochastic approach to image denoising using an adaptive Monte Carlo scheme. Random samples are generated from the image field using a spatially-adap...
104
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Analyses of fMRI brain data are often based on statistical tests applied to each voxel or use summary statistics within a region of interest (such as mean or peak activation). Thes...
202
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
76
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
We devise a central triangular sequence to minimize the escape routing layers in area array packaging. We use a network flow model to analyze the bottleneck of the routable pins. ...