1002 search results - page 157 / 201 » Test-Driven Development of Model Transformations |
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In this paper, we describe a two-step varianceadaptive method for image denoising based on a statistical model of the coefficients of balanced multiwavelet transform. ...
SSD
2001
Springer
14 years 3 days ago
2001
Springer
Like people who casually assess similarity between spatial scenes in their routine activities, users of pictorial databases are often interested in retrieving scenes that are simil...
JLP
2008
13 years 7 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
WWW
2005
ACM
14 years 1 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...