This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
Richard Blute, J. Robin B. Cockett, R. A. G. Seely
The evolution of GIS-T is characterized in three stages: the map view, the navigational view, and the behavioral view. The static nature of the map view favors applications relate...
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical fo...
In this paper, we present a new scheme of data representation for image-based objects. It allows the illumination to be changed interactively without knowing any geometrical infor...