Sciweavers

17 search results - page 4 / 4
» fois 2001
Sort
View
FOIS
2001
13 years 7 months ago
A note on proximity spaces and connection based mereology
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...
Dimiter Vakarelov, Ivo Düntsch, Brandon Benne...
FOIS
2001
13 years 7 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...