Sciweavers

3771 search results - page 46 / 755
» Subobject Transformation Systems
Sort
View
IDA
2009
Springer
14 years 9 months ago
A Cascade System for Solving Permutation and Gain Problems in Frequency-Domain BSS
Abstract. This paper presents a novel technique for separating convolutive mixtures of statistically independent non-Gaussian signals. The time-domain convolution is transformed in...
Daniel I. Iglesia, Héctor J. Pérez-I...
WCRE
2000
IEEE
15 years 3 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
BIRTHDAY
2005
Springer
15 years 5 months ago
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl