23 search results - page 1 / 5 » sas 2009 |
SAS
2009
Springer
14 years 4 months ago
2009
Springer
SAS
2009
Springer
14 years 4 months ago
2009
Springer
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
Scan compression has emerged as the most successful solution to solve the problem of rising manufacturing test cost. Compression technology is not hierarchical in nature. Hierarch...
SAS
2009
Springer
14 years 4 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
ICIP
2009
IEEE
14 years 5 months ago
2009
IEEE
An unsupervised seabed segmentation algorithm for synthetic aperture sonar (SAS) imagery is proposed. Each 2 m ? 2 m area of seabed is treated as a unique data point. A set of fea...