15792 search results - page 30 / 3159 » Computational Abstraction Steps |
CAD
2008
Springer
13 years 8 months ago
2008
Springer
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
ESCIENCE
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract Grid services can be composed into processes, providing a high level definition of the computations involved in terms of their data exchanges and control flow dependenci...
ICIAP
1997
ACM
13 years 12 months ago
1997
ACM
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...
LICS
1996
IEEE
13 years 12 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
JSCIC
2006
2006
Optimal Strong-Stability-Preserving Time-Stepping Schemes with Fast Downwind Spatial Discretizations
13 years 7 months ago
In the field of strong-stability-preserving time discretizations, a number of researchers have considered using both upwind and downwind approximations for the same derivative, in...