14 search results - page 3 / 3 » Parametric Shape Analysis via 3-Valued Logic |
CAV
2008
Springer
13 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
SCALESPACE
2007
Springer
14 years 5 days ago
2007
Springer
In clinical applications where structural asymmetries between homologous shapes have been correlated with pathology, the questions of definition and quantification of ‘asymmetr...
ICIP
2001
IEEE
14 years 7 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...
ICDAR
2009
IEEE
13 years 3 months ago
2009
IEEE
In today's world, form processing systems must be able to recognize mutant forms that appear to be based on differing templates but are actually only a variation of the origi...