Sciweavers

4074 search results - page 414 / 815
» Abstract Graph Transformation
Sort
View
CC
2008
Springer
15 years 8 months ago
Generating SIMD Vectorized Permutations
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
Franz Franchetti, Markus Püschel
CORR
2010
Springer
163views Education» more  CORR 2010»
15 years 6 months ago
Distributed Principal Component Analysis for Wireless Sensor Networks
Abstract: The Principal Component Analysis (PCA) is a data dimensionality reduction technique well-suited for processing data from sensor networks. It can be applied to tasks like ...
Yann-Aël Le Borgne, Sylvain Raybaud, Gianluca...
IJFCS
2006
119views more  IJFCS 2006»
15 years 6 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
IJCV
2007
165views more  IJCV 2007»
15 years 6 months ago
Registration of 3D Points Using Geometric Algebra and Tensor Voting
Abstract. We address the problem of finding the correspondences of two point sets in 3D undergoing a rigid transformation. Using these correspondences the motion between the two s...
Leo Reyes, Gérard G. Medioni, Eduardo Bayro...
SOCO
2008
Springer
15 years 6 months ago
Interface Composition for Web Service Intermediaries
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
Sara Forghanizadeh, Eric Wohlstadter