2819 search results - page 269 / 564 » Automatic Structures |
140
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
This paper presents a novel segmentation approach featuring shape constraints of multiple structures. A framework is developed combining statistical shape modeling with a maximum a...
137
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
99
Voted
IJCAI
2003
15 years 4 months ago
2003
There exist two types of wrappers: the string based wrapper such as the LR wrapper, and the tree based wrapper. A tree based wrapper designates extraction regions by nodes on the ...
130
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
136
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a novel method for global registration based on matching 3D medial structures of unorganized point clouds or triangulated meshes. Most practical known methods ...