Sciweavers

1792 search results - page 130 / 359
» e-Participation and Decision Analysis
Sort
View
MICCAI
2006
Springer
16 years 4 days ago
Spinal Crawlers: Deformable Organisms for Spinal Cord Segmentation and Analysis
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
Chris McIntosh, Ghassan Hamarneh
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
15 years 11 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
IROS
2009
IEEE
208views Robotics» more  IROS 2009»
15 years 5 months ago
Human Robot interaction studies on laban human movement analysis and dynamic background segmentation
— Human movement analysis through vision sensing systems is an important subject regarding Human-Robot interaction. This is a growing area of research, with wide range of aplicat...
Luis Santos, José Augusto Prado, Jorge Dias
SEFM
2008
IEEE
15 years 5 months ago
Nullness Analysis in Boolean Form
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
Fausto Spoto
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 5 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold