1357 search results - page 122 / 272 » Compositionality in Graph Transformation |
118
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
139
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a new approach for solving the SAT problem. This approach consists in representing SAT instances thanks to an undirected graph issued from a polynomial t...
102
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper proposes a necessary and sufficient condition for parallel grasps. We extend the use of this condition to the task of regrasp planning. In particular, we propose a ...
132
click to vote
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, a video stabilization technique is presented. There are four steps in the proposed approach. We begin with extracting feature points from the input image using the ...
121
Voted
ECSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....