Sciweavers

324 search results - page 18 / 65
» Model Transformations in Practice Workshop
Sort
View
IEEEPACT
2007
IEEE
14 years 2 months ago
Automatic Correction of Loop Transformations
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
Nicolas Vasilache, Albert Cohen, Louis-Noël P...
ICLP
2007
Springer
14 years 2 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
IDEAS
2003
IEEE
91views Database» more  IDEAS 2003»
14 years 1 months ago
Implementation Issues of a Deterministic Transformation System for Structured Document Query Optimization
As the popularity of XML keeps growing rapidly, XML compliant structured document management becomes an interesting and compelling research area. Query optimization for structured...
Dunren Che
NIPS
1996
13 years 9 months ago
Transformation Invariance in Pattern Recognition-Tangent Distance and Tangent Propagation
In pattern recognition, statistical modeling, or regression, the amount of data is a critical factor affecting the performance. If the amount of data and computational resources ar...
Patrice Simard, Yann LeCun, John S. Denker, Bernar...
ICASSP
2010
IEEE
13 years 8 months ago
On the robustness of the multidimensional state coherence transform for solving the permutation problem of frequency-domain ICA
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...
Benedikt Loesch, Francesco Nesta, Bin Yang