Logic and Visual Information
Using Animation in Diagrammatic Theorem Proving
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Corresponding Regions in Euler Diagrams
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
VENNFS: A Venn-Diagram File Manager
IV '03 Proceedings of the Seventh International Conference on Information Visualization
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
A reading algorithm for constraint diagrams
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
A System for Virtual Directories Using Euler Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Journal of Visual Languages and Computing
Efficient on-line algorithms for Euler diagram region computation
Computational Geometry: Theory and Applications
A general method for drawing area-proportional Euler diagrams
Journal of Visual Languages and Computing
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
Euler diagrams are a graphical means to represent information. Providing an abstraction captures the pertinent information precisely, ignoring irrelevant details (where relevancy is dependent upon the application domain). We present two new abstractions and show that these are equivalent to a standard existing (zone-based) representation. Examples illustrate the potential usefulness of different abstractions in various areas, such as: identifying properties like nestedness or drawability, expressing the semantics in a more readable manner, and in the layout of diagrams.