3921 search results - page 192 / 785 » Transforming Models with ATL |
165
click to vote
LICS
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
155
Voted
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
105
click to vote
EMNLP
2007
15 years 7 months ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name filtering. ETK has the low computational cost and ability to ...
111
click to vote
PR
2000
15 years 5 months ago
2000
: Identifying PSL(2, C) as a projective group for patterns in the conformal camera model, the projective harmonic analysis on its double covering group SL(2, C) is presented in the...
151
click to vote
PR
2002
15 years 5 months ago
2002
This paper considers invariant texture analysis. Texture analysis approaches whose performances are not a ected by translation, rotation, a ne, and perspective transform are addre...