156 search results - page 12 / 32 » Verifying Model Transformations by Structural Correspondence |
ICPR
2006
IEEE
14 years 1 months ago
2006
IEEE
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
JMLR
2010
13 years 2 months ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose a post-placement physical synthesis algorithm that can apply multiple circuit synthesis and placement transforms on a placed circuit to improve the critical path delay ...
COMPASS
1994
13 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
UML
2001
Springer
14 years 3 days ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...