1342 search results - page 106 / 269 » Shape reasoning and understanding |
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
In progressive joint source-channel coding of images, experiments show that optimizing rate allocation according to PSNR criteria and according to rate criteria produce essentiall...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Although the Internet provides nonprofit organizations with unprecedented opportunities for fundraising, the volume of online donations has been miniscule. Since one reason for th...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
DAGM
2005
Springer
14 years 3 months ago
2005
Springer
We consider the problem of deblurring images which have been blurred by different reasons during image acquisition. We propose a variational approach admitting spatially variant an...