1535 search results - page 68 / 307 » Lazy Shape Analysis |
IFL
1998
Springer
14 years 8 days ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
SMI
1999
IEEE
14 years 10 days ago
1999
IEEE
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
Binary Partition Trees (BPTs) are a well known technique used for region-based image representation and analysis. BPTs are usually created as a result of a merging process based o...
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a novel representation of shape for closed planar contours explicitly designed to possess a linear structure. This greatly simplifies linear operations such as averagin...
ENTCS
2007
13 years 8 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...