1722 search results - page 197 / 345 » Generating Tests from Counterexamples |
ICPR
2008
IEEE
14 years 10 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...
ICPR
2008
IEEE
14 years 10 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...
MICCAI
2005
Springer
14 years 10 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...
POPL
2006
ACM
14 years 9 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...
ICCAD
2006
IEEE
14 years 6 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. ...