47 search results - page 2 / 10 » There and back again |
IWPC
2007
IEEE
14 years 4 months ago
2007
IEEE
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
HASKELL
2005
ACM
14 years 3 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
14 years 2 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
14 years 1 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...