VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
ICPR
2010
IEEE
14 years 4 days ago
2010
IEEE
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
0
posts
with
0
views
0
views
Partha Bhowmick graduated from IIT Kharagpur, and did his masters and doctorate both from ISI Kolkata. His primary research interest is digital geometry, pertaining to algorithms i...
ISBI
2002
IEEE
14 years 5 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
MICCAI
2003
Springer
14 years 5 months ago
2003
Springer
This paper describes shape analysis of the caudate nucleus structure in a large schizophrenia study (30 controls, 60 schizophrenics). Although analysis of the caudate has not drawn...
ICPR
2006
IEEE
14 years 6 months ago
2006
IEEE
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
We present a fully-automated method for real-time and marker-free 3D human motion capture. The system computes the 3D shape of the person filmed from a synchronized camera set. We...
Book
"Advances in shape analysis impact a wide range of disciplines, from mathematics and engineering to medicine, archeology, and art. Anyone just entering the field, however, may...