3771 search results - page 383 / 755 » Subobject Transformation Systems |
137
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
165
Voted
GD
2003
Springer
15 years 10 months ago
2003
Springer
Given two different drawings of a planar graph we consider the problem of morphing one drawing into the other. We designed and implemented an algorithm for intersection-free morph...
110
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Following the work of Stephens and coworkers on the coarse-grained dynamics of genetic systems, we work towards a possible generalisation in the context of genetic algorithms, givi...
147
Voted
DAGM
2001
Springer
15 years 9 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...
144
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...