426 search results - page 46 / 86 » Towards Verifying Model Transformations |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, we present the Gauss-Newton method as a unified approach to optimizing non-linear noise compensation models, such as vector Taylor series (VTS), data-driven parall...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
We propose here a framework to build a statistical atlas of diffusion tensors of canine hearts. The anatomical images of seven hearts are first non-rigidly registered in the same r...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Multiple studies in the information systems (IS) literature recognize that information technology (IT) investments may not yield immediate returns. Nevertheless, there has been a ...
JSAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This research aims at promoting sharing of knowledge about functionality of artifacts among engineers, which tends to be implicit in practice. In order to provide a conce...
LPNMR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...