11182 search results - page 364 / 2237 » Shape Analysis of Sets |
164
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
185
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...
191
click to vote
TCS
2008
15 years 6 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
237
click to vote
TMI
2002
15 years 6 months ago
2002
A model-based method for three-dimensional image segmentation was developed and its performance assessed in segmentation of volumetric cardiac magnetic resonance (MR) images and ec...
195
click to vote
SMI
2010
IEEE
15 years 5 months ago
2010
IEEE
—It has recently been shown that if we twist an arbitrary subset of edges of a mesh on an orientable surface, the resulting extended graph rotation system (EGRS) can be used to i...