Sciweavers

843 search results - page 52 / 169
» Introducing the Iteration in sPBC
Sort
View
163
Voted
ISBI
2009
IEEE
16 years 27 days ago
Accurate and Fast 3D Colon Segmentation in CT Colonography
This paper introduces an adaptive level set method for 3D segmentation of colon tissue in CT colonography filled with air and opacified fluid. First, most of the opacified liq...
Dongqing Chen, Rachid Fahmi, Aly A. Farag, Robert ...
CAV
2009
Springer
168views Hardware» more  CAV 2009»
16 years 26 days ago
Games through Nested Fixpoints
In this paper we consider two-player zero-sum payoff games on finite graphs, both in the deterministic as well as in the stochastic setting. In the deterministic setting, we consi...
Thomas Gawlitza, Helmut Seidl
ICASSP
2009
IEEE
16 years 25 days ago
Modeling of contours in wavelet domain for generalized lifting image compression
This paper introduces the design of context-based models of contours in the wavelet domain, which are used to construct generalized lifting (GL) mappings for image compression. Th...
Julio C. Rolon, Antonio Ortega, Philippe Salembier
ICASSP
2009
IEEE
16 years 25 days ago
Using fourier-based shape alignment to add geometric prior to snakes
In this paper, we present a new algorithm of snakes with geometric prior. A method of shape alignment using Fourier coefficients is introduced to estimate the Euclidean transform...
Mohamed Ali Charmi, Faouzi Ghorbel, Stéphan...
LICS
2009
IEEE
16 years 22 days ago
Clipping: A Semantics-Directed Syntactic Approximation
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
Dan R. Ghica, Adam Bakewell