1550 search results - page 123 / 310 » Benchmarking for Graph Transformation |
116
Voted
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
131
Voted
IJWGS
2006
15 years 3 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
104
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a probabilistic approach to shape matching which is invariant to rotation, translation and scaling. Shapes are represented by unlabeled point sets, so discontinuous bou...
138
Voted
PPSN
2010
Springer
15 years 1 months ago
2010
Springer
Solutions calculated by Evolutionary Algorithms have come to surpass exact methods for solving various problems. The Rubik’s Cube multiobjective optimization problem is one such ...
148
Voted
IDEAS
2005
IEEE
15 years 9 months ago
2005
IEEE
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....