455 search results - page 18 / 91 » Structure Theorems for Systems of Segments |
AVSS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
IGPL
2007
13 years 8 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
IPMI
2005
Springer
14 years 9 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...
MICCAI
1998
Springer
14 years 1 months ago
1998
Springer
This paper presents a method for automatic segmentation of the tibia and femur in clinical magnetic resonance images of knees. Texture information is incorporated into an active co...