Sciweavers

9931 search results - page 1741 / 1987
» Generative Modeling by PRISM
Sort
View
139
Voted
AMW
2010
15 years 6 months ago
Certification and Authentication of Data Structures
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
Roberto Tamassia, Nikos Triandopoulos
147
Voted
BILDMED
2008
127views Algorithms» more  BILDMED 2008»
15 years 6 months ago
3D Segmentation of the Left Ventricle Combining Long- and Shortaxis Views
Abstract. Segmentation of the left ventricle (LV) is required to quantify LV remodeling after myocardial infarction. Therefore spatiotemporal Cine MR sequences including longaxis a...
Jatin Relan, Dennis Säring, Michael Groth, Ka...
140
Voted
DAGSTUHL
2010
15 years 6 months ago
Generalized Swap Operation for Tetrahedrizations
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
Burkhard Lehner, Bernd Hamann, Georg Umlauf
DAGSTUHL
2010
15 years 6 months ago
Pre-operative Planning and Intra-operative Guidance for Shoulder Replacement Surgery
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
Charl P. Botha, Peter R. Krekel, Edward R. Valstar...
COMMA
2008
15 years 6 months ago
Focused search for Arguments from Propositional Knowledge
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
Vasiliki Efstathiou, Anthony Hunter
« Prev « First page 1741 / 1987 Last » Next »