3885 search results - page 181 / 777 » Transformations for Write-All-with-Collision Model |
130
click to vote
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
158
Voted
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...
146
Voted
ICALP
2000
Springer
15 years 8 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...
EMNLP
2007
15 years 6 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 ...
104
Voted
PR
2000
15 years 4 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...