5451 search results - page 866 / 1091 » The SIGNAL Expert System |
200
click to vote
IJSEKE
2011
14 years 10 months ago
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
269
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
193
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
An iterative Segmentation-Estimation framework for segmentation of planar surfaces in the disparity space is implemented on a Digital Signal Processor (DSP). Disparity of a scene ...
178
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Wavelet transform based image coding algorithms have the two inherent scalable features of SNR scalability and spatial (or resolution) scalability. However, fine scalability is sup...
191
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...