1496 search results - page 74 / 300 » Definability of Initial Segments |
138
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices. Its la...
156
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We propose a new approach to compute non-linear, intrinsic shape statistics and to incorporate them into a shape prior for an image segmentation task. Given a sample set of contou...
120
Voted
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. In this paper we present a new algorithm for 3D medical image segmentation. The algorithm is fast, relatively simple to implement, and semi-automatic. It is based on mini...
178
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
We propose to segment 3D structures with competitive level sets driven by fuzzy control. To this end, several contours evolve simultaneously toward previously defined anatomical ta...
136
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
Multiplex Fluorescent In Situ Hybridization (M-FISH) is a newly chromosome imaging technique where each chromosome class appears to have a distinct color. This technique although ...