Sciweavers

213 search results - page 3 / 43
» diagrams 2004
Sort
View
DIAGRAMS
2004
Springer
13 years 10 months ago
Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets
Abstract. This paper shows by a constructive method the existence of a diagrammatic representation called extended Euler diagrams for any collection of sets X1, ..., Xn , n < 9....
Anne Verroust, Marie-Luce Viaud
ASIAN
2004
Springer
73views Algorithms» more  ASIAN 2004»
13 years 10 months ago
Towards Flexible Graphical Communication Using Adaptive Diagrams
Abstract. Unlike today where the majority of diagrams are static, lifeless objects reflecting their origin in print media, the computer of the near future will provide more flexi...
Kim Marriott, Bernd Meyer, Peter J. Stuckey
ATAL
2004
Springer
13 years 10 months ago
A UML Based Approach for Modeling and Implementing Multi-Agent Systems
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
DIAGRAMS
2004
Springer
13 years 10 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
DIAGRAMS
2004
Springer
13 years 10 months ago
Reasoning with Projected Contours
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
Chris John