4581 search results - page 306 / 917 » Computing Transformation Semigroups |
168
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
194
click to vote
PDP
2003
IEEE
15 years 12 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
153
click to vote
CW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a novel fast algorithmfor image retouching. A space-mapping technique is used to transform a missing (or damaged) part of a surface into a different shap...
172
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
166
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We consider the problem of learning to map between two vector spaces given pairs of matching vectors, one from each space. This problem naturally arises in numerous vision problem...