Sciweavers

3888 search results - page 48 / 778
» Change-Driven Model Transformations
Sort
View
154
Voted
NMELP
1994
15 years 8 months ago
Static Semantics as Program Transformation and Well-founded Computation
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
Stefania Costantini, Gaetano Aurelio Lanzarone
PLILP
1992
Springer
15 years 8 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
ICSOC
2009
Springer
15 years 1 months ago
Transformation of Intermediate Nonfunctional Properties for Automatic Service Composition
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
Haruhiko Takada, Incheon Paik
SIGIR
2008
ACM
15 years 3 months ago
Knowledge transformation from word space to document space
In most IR clustering problems, we directly cluster the documents, working in the document space, using cosine similarity between documents as the similarity measure. In many real...
Tao Li, Chris H. Q. Ding, Yi Zhang 0005, Bo Shao
VMV
2001
248views Visualization» more  VMV 2001»
15 years 5 months ago
Using an Extended Hough Transform Combined with a Kalman Filter to Segment Tubular Structures in 3D Medical Images
We present a new approach for the coarse segmentation of tubular structures in 3D image data. Our algorithm, which requires only few initial values and minimal user interaction, c...
Thorsten Behrens, Karl Rohr, H. Siegfried Stiehl