Sciweavers

4581 search results - page 561 / 917
» Computing Transformation Semigroups
Sort
View
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
BPM
2006
Springer
160views Business» more  BPM 2006»
15 years 8 months ago
Analyzing Interacting BPEL Processes
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
DAGM
2008
Springer
15 years 8 months ago
Segmentation of SBFSEM Volume Data of Neural Tissue by Hierarchical Classification
Three-dimensional electron-microscopic image stacks with almost isotropic resolution allow, for the first time, to determine the complete connection matrix of parts of the brain. I...
Björn Andres, Ullrich Köthe, Moritz Helm...
ICIP
2007
IEEE
15 years 8 months ago
Motion Estimation using Tangent Distance
In this paper, we present a method based on tangent distance to estimate motion in image sequences. Tangent distance combines an intuitive understanding and effective modeling of ...
Jonathan Fabrizio, Séverine Dubuisson
BILDMED
2007
115views Algorithms» more  BILDMED 2007»
15 years 8 months ago
A New Approach to Ultrasound Guided Radio-Frequency Needle Placement
The transformation from an ultrasound (US) image plane to the coordinate system of a position sensor attached to the US transducer can be computed with US calibration algorithms. T...
Claudio Alcérreca, Jakob Vogel, Marco Feuer...