Sciweavers

3731 search results - page 245 / 747
» cases 2006
Sort
View
BILDMED
2006
15 years 8 months ago
Piecewise Rigid Multimodal Spine Registration
In this paper we present an efficient and robust vertebra segmentation algorithm for CT data. It proved reliable even for cases with damaged vertebrae or missing intervertebral dis...
Peter Cech, Adrian Andronache, Liping Wang, G&aacu...
BIOCOMP
2006
15 years 8 months ago
Using Neural Nets to Estimate Evolutionary Parameters
- The rapid growth in the amount of molecular genetic data being collected will, in many cases, require the development of new analytic methods for the analysis of that data. In th...
Chi-Chiang Lee, Paul Marjoram
CCCG
2006
15 years 8 months ago
Shortest Descending Paths through Given Faces
A path from s to t on a polyhedral terrain is descending if the height of a point p never increases while we move p along the path from s to t. No efficient algorithm is known to ...
Mustaq Ahmed, Anna Lubiw
DAGSTUHL
2006
15 years 8 months ago
Competitive Online Searching for a Ray in the Plane
We consider the problem of a searcher that looks for a lost flashlight in a dusty environment. The search agent finds the flashlight as soon as it crosses the ray emanating from t...
Andrea Eubeler, Rudolf Fleischer, Thomas Kamphans,...
DAGSTUHL
2006
15 years 8 months ago
A note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Uwe Schöning, Jacobo Torán