Sciweavers

5244 search results - page 449 / 1049
» Structural Complexity of AvgBPP
Sort
View
BILDMED
2008
138views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Haptic Landmark Positioning and Automatic Landmark Transfer in 4D Lung CT Data
Manual landmark positioning in volumetric image data is a complex task and often results in erroneous landmark positions. The landmark positioning tool presented uses image curvatu...
Matthias Färber, Björn Gawenda, Christia...
DAGSTUHL
2010
15 years 8 months ago
Modeling and Visualization of Cardiovascular Systems
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
Thomas Wischgoll
CATS
2008
15 years 8 months ago
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
Lindsay Groves
CCCG
2008
15 years 8 months ago
Smallest enclosing circle centered on a query line segment
Given a set of n points P = {p1, p2, . . . , pn} in the plane, we show how to preprocess P such that for any query line segment L we can report in O(log n) time the smallest enclo...
Prosenjit Bose, Stefan Langerman, Sasanka Roy
COLING
2008
15 years 8 months ago
Grammar Comparison Study for Translational Equivalence Modeling and Statistical Machine Translation
This paper presents a general platform, namely synchronous tree sequence substitution grammar (STSSG), for the grammar comparison study in Translational Equivalence Modeling (TEM)...
Min Zhang, Hongfei Jiang, Haizhou Li, AiTi Aw, She...