156 search results - page 22 / 32 » Verifying Model Transformations by Structural Correspondence |
CVPR
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose novel algorithms for the detection, segmentation, recognition, and pose estimation of threedimensional objects. Our approach initially infers geometric primitives to de...
BMCBI
2005
13 years 7 months ago
2005
Background: The PD-(D/E)XK nuclease superfamily, initially identified in type II restriction endonucleases and later in many enzymes involved in DNA recombination and repair, is o...
TSMC
2010
13 years 2 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
JUCS
2008
13 years 7 months ago
2008
: During the last decades, digital objects have become the primary medium to create, shape, and exchange information. However, in contrast to analog objects such as books that dire...