Sciweavers

1096 search results - page 19 / 220
» Computation Slicing: Techniques and Theory
Sort
View
SGP
2007
13 years 10 months ago
A streaming algorithm for surface reconstruction
We present a streaming algorithm for reconstructing closed surfaces from large non-uniform point sets based on a geometric convection technique. Assuming that the sample points ar...
Rémi Allègre, Raphaëlle Chaine,...
LICS
2005
IEEE
14 years 1 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...
ICPR
2010
IEEE
13 years 5 months ago
3D Filtering for Injury Detection in Brain MRI
This paper introduces a brain injury detection approach, using 3D filtering technique, for the images acquired by the magnetic resonance imaging (MRI) technique. The proposed meth...
Yu Sun, Bir Bhanu
DFG
1992
Springer
13 years 12 months ago
Complexity of Boolean Functions on PRAMs - Lower Bound Techniques
Determining time necessary for computing important functions on parallel machines is one of the most important problems in complexity theory for parallel algorithms. Recently, a s...
Miroslaw Kutylowski
CSMR
2009
IEEE
14 years 2 months ago
Identification of Extract Method Refactoring Opportunities
Extract Method has been recognized as one of the most important refactorings, since it decomposes large methods and can be used in combination with other refactorings for fixing a...
Nikolaos Tsantalis, Alexander Chatzigeorgiou