Sciweavers

1508 search results - page 130 / 302
» A Toolbox of Level Set Methods
Sort
View
ICPR
2006
IEEE
15 years 11 months ago
Geodesic Curves for Analysis of Continuous Implicit Shapes
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
Jan Erik Solem
ICPR
2002
IEEE
15 years 11 months ago
Separating Color and Pattern Information for Color Texture Discrimination
The analysis of colored surface textures is a challenging research problem in computer vision. Current approaches to this task can be roughly divided into two categories: methods ...
Topi Mäenpää, Matti Pietikäine...
ISBI
2004
IEEE
15 years 10 months ago
Subpixel Registration in Renal Perfusion MR Image Sequence
We propose a subpixel registration algorithm to deal with the motion induced by breathing for renal perfusion MR image sequences. Our approach minimizes an energy functional that ...
Chien Ho, José M. F. Moura, Ying Sun
EPEW
2005
Springer
15 years 3 months ago
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
Corine Marchand, Jean-Marc Vincent
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 3 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann