47 search results - page 2 / 10 » There and back again |
IWPC
2007
IEEE
13 years 12 months ago
2007
IEEE
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
HASKELL
2005
ACM
13 years 11 months ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
MODELS
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
SPATIALCOGNITION
2000
Springer
13 years 9 months ago
2000
Springer
This paper posits the usefulness of mental shifts of scale and perspective in thinking and communicating about spatial relations, and describes two experimental techniques for res...