14809 search results - page 159 / 2962 » Model transformation by demonstration |
166
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
181
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
139
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...
175
click to vote
PRL
2006
15 years 6 months ago
2006
Dealing with non-linear distortion in fingerprint images is a major difficulty for automated fingerprint verification systems. While this distortion can be a nuisance in minutiae ...
166
click to vote
NIPS
2008
15 years 8 months ago
2008
We consider the problem of transforming a signal to a representation in which the components are statistically independent. When the signal is generated as a linear transformation...