1255 search results - page 143 / 251 » Model-Driven Development of Model Transformations |
ISBI
2002
IEEE
2002
IEEE
Covariance-driven retinal image registration initialized from small sets of landmark correspondences
15 years 10 months ago
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...
SIAMSC
2008
14 years 9 months ago
2008
In this note we consider the numerical solution of selfadjoint deblurring problems on bounded intervals. For these problems it has recently been shown that appropriate modelling of...
FPGA
2006
ACM
15 years 1 months ago
2006
ACM
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
ASWEC
2010
IEEE
14 years 10 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...