1535 search results - page 13 / 307 » Lazy Shape Analysis |
ICPR
2006
IEEE
16 years 25 days ago
2006
IEEE
Shape warping is a key problem in statistical shape analysis. This paper proposes a framework for geometric shape warping based on both shape distances and landmarks. Our method i...
SAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
107
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—We introduce a rate-based congestion control mechanism for Content-Centric Networking (CCN). It builds on the fact that one Interest retrieves at most one Data packet. C...
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
COMPGEOM
1998
ACM
15 years 3 months ago
1998
ACM
Shape deformation refers to the continuous change of one geometric object to another. We develop a software tool for planning, analyzing, and visualizing deformations between two ...