277 search results - page 37 / 56 » Crossing the Structure Chasm |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
In this paper, we present a learning-based method for the detection and segmentation of 3D free-form tubular structures, such as the rectal tubes in CT colonoscopy. This method can...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
Analysis of elastic laminae provides vital information on both the gross and fine structures of the arterial wall, which is vital to assess issues such as mechanical damage caused...
NIME
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the design of an expressive tangible interface for cinema editing as a live performance. A short survey of live video practices is provided. The Live Cinema i...
LICS
2000
IEEE
14 years 9 days ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....