Sciweavers

1940 search results - page 59 / 388
» Graph Transformation with Variables
Sort
View
87
Voted
ICASSP
2007
IEEE
15 years 9 months ago
ICA-Based Algorithms Applied to Image Coding
Recently, Narozny et al [1] proposed a new viewpoint in variable high-rate transform coding. They showed that the problem of finding the optimal 1-D linear block transform for a ...
Michel Narozny, Michel Barret
118
Voted
COMPUTING
1999
99views more  COMPUTING 1999»
15 years 2 months ago
A Minimal Line Property Preserving Representation of Line Images
In line image understandingaminimal lineproperty preserving(MLPP)graphoftheimagecompliments the structural information in geometric graph representations like the run graph. With ...
Mark Burge, Walter G. Kropatsch
112
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 2 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
112
Voted
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
15 years 8 months ago
Mapping Applications to an FPFA Tile
Abstract— This paper introduces a transformational design method which can be used to map code written in a high level source language, like C, to a coarse grain reconfigurable ...
Michèl A. J. Rosien, Yuanqing Guo, Gerard J...
104
Voted
KR
2010
Springer
15 years 7 months ago
Walking the Decidability Line for Rules with Existential Variables
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
Jean-François Baget, Michel LeClere, Marie-...