7393 search results - page 379 / 1479 » Synthesis-for-testability using transformations |
104
Voted
ALGORITHMICA
2010
15 years 5 months ago
2010
The Burrows-Wheeler transformation is used for effective data compression, e.g., in the well known program bzip2. Compression and decompression are done in a block-wise fashion; la...
125
Voted
ECEASST
2008
15 years 5 months ago
2008
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
115
Voted
ENTCS
2006
15 years 5 months ago
2006
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...
126
Voted
APPML
2005
15 years 4 months ago
2005
Two difficulties connected with the solution of Laplace's equation around an object inside an infinite circular cylinder are resolved. One difficulty is the nonconvergence of...
139
click to vote
IJCV
2010
15 years 3 months ago
2010
Abstract The use of traditional moment invariants in object recognition is limited to simple geometric transforms, such as rotation, scaling and affine transformation of the image...