Author image not provided
 Gem Stapleton

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article2.87
Citation Count149
Publication count52
Publication years2005-2017
Available for download6
Average downloads per article116.50
Downloads (cumulative)699
Downloads (12 Months)119
Downloads (6 Weeks)18
SEARCH
ROLE
Arrow RightAuthor only
· Editor only
· All roles


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


52 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 20 of 52
Result page: 1 2 3

Sort by:

1 published by ACM
August 2017 VINCI '17: Proceedings of the 10th International Symposium on Visual Information Communication and Interaction
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 1,   Downloads (12 Months): 7,   Downloads (Overall): 7

Full text available: PDFPDF
LineSets represent information about sets by drawing one line for each set on an existing visualization of data items. This paper addresses the following question: does manipulating the size of visual elements affect the comprehension of LineSets? We empirically evaluated two types of size treatments applied to LineSets drawn on ...
Keywords: linesets, graphical properties, set visualization

2 published by ACM
August 2017 VINCI '17: Proceedings of the 10th International Symposium on Visual Information Communication and Interaction
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 15,   Downloads (Overall): 15

Full text available: PDFPDF
Ontologies describe complex world knowledge in that they consist of hierarchical relations, such as is-a , which can be expressed by quantifiers or sets, and various binary relations, which can be expressed by links or networks. Should hierarchical relations be distinguished from other binary relations as essentially different ones in ...
Keywords: cognitive science, ontologies, concept diagram, consistency, semantic network

3
August 2017 Studia Logica: Volume 105 Issue 4, August 2017
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

The development of diagrammatic logics is strongly motivated by the desire to make formal reasoning accessible to broad audiences. One major research problem, for which surprisingly little progress has been made, is to understand how to choose between semantically equivalent diagrams from the perspective of human cognition. The particular focus ...
Keywords: Clutter, Cognition, Diagrammatic logics, Individuals, Absence, Presence

4
June 2017 Journal of Logic, Language and Information: Volume 26 Issue 2, June 2017
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization ...
Keywords: Free rides, Inference, Observation, Euler diagrams, Set theory

5
November 2016 Information Sciences: an International Journal: Volume 367 Issue C, November 2016
Publisher: Elsevier Science Inc.
Bibliometrics:
Citation Count: 1

This paper addresses the problem of how best to visualize network data grouped into overlapping sets. We address it by evaluating various existing techniques alongside a new technique. Such data arise in many areas, including social network analysis, gene expression data, and crime analysis. We begin by investigating the strengths ...
Keywords: Combined visualization, Set visualization, Clustering, Graph visualization, Networks

6
February 2016 Information Sciences: an International Journal: Volume 330 Issue C, February 2016
Publisher: Elsevier Science Inc.
Bibliometrics:
Citation Count: 1

This paper establishes the impact of topological and graphical properties on the comprehension of Euler diagrams. To-date, various studies have examined the impact of individual properties of Euler diagrams, such as curve shape and orientation. This has allowed us to establish guides for using these properties such as 'draw Euler ...
Keywords: Visual communication, Euler diagram, Empirical study

7
December 2015 Journal of Logic, Language and Information: Volume 24 Issue 4, December 2015
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0


8
December 2015 Journal of Logic, Language and Information: Volume 24 Issue 4, December 2015
Publisher: Kluwer Academic Publishers
Bibliometrics:
Citation Count: 0

In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for the well-known language of spider diagrams. Speedith provides a way to input spider diagrams, transform them via the diagrammatic inference rules, and prove diagrammatic theorems. Speedith's inference rules are sound and complete, extending previous research by ...
Keywords: Automated reasoning, Interactive theorem proving, Diagrammatic reasoning, Knowledge representation

9 published by ACM
September 2015 ACM Transactions on Computer-Human Interaction (TOCHI): Volume 22 Issue 6, December 2015
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 8,   Downloads (12 Months): 62,   Downloads (Overall): 445

Full text available: PDFPDF
This paper presents the first design principles that optimize the visualization of sets using linear diagrams. These principles are justified through empirical studies that evaluate the impact of graphical features on task performance. Linear diagrams represent sets using straight line segments, with line overlaps corresponding to set intersections. This study ...
Keywords: linear diagrams, Sets, visualization

10 published by ACM
March 2015 ACM Transactions on Intelligent Systems and Technology (TIST): Volume 6 Issue 1, April 2015
Publisher: ACM
Bibliometrics:
Citation Count: 2
Downloads (6 Weeks): 4,   Downloads (12 Months): 28,   Downloads (Overall): 120

Full text available: PDFPDF
The least cognitively demanding way to create a diagram is to draw it with a pen. Yet there is also a need for more formal visualizations, that is, diagrams created using both traditional keyboard and mouse interaction. Our objective is to allow the creation of diagrams using traditional and stylus-based ...
Keywords: Sketching interfaces, tools for visual languages, diagram editing

11
December 2014 Journal of Visual Languages and Computing: Volume 25 Issue 6, December 2014
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 0

Linear diagrams have recently been shown to be more effective than Euler diagrams when used for set-based reasoning. However, unlike the growing corpus of knowledge about formal aspects of Euler and Venn diagrams, there has been no formalisation of linear diagrams. To fill this knowledge gap, we present and formalise ...
Keywords: First-order logic, Line diagrams, Expressiveness

12
December 2014 Journal of Visual Languages and Computing: Volume 25 Issue 6, December 2014
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 0

We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal form. Normal forms for visual logics have been ...
Keywords: Euler diagrams, Logic, Normal form, Spider diagrams

13 published by ACM
August 2014 VINCI '14: Proceedings of the 7th International Symposium on Visual Information Communication and Interaction
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 76

Full text available: PDFPDF
This paper addresses the problem of how best to use colour in Euler diagrams. The choice of using coloured curves, rather than black curves, possibly with coloured fill is often made in tools that automatically draw Euler diagrams for information visualization as well as when they are drawn manually. We ...
Keywords: Euler diagram, colour, Visualization

14
April 2014 Journal of Visual Languages and Computing: Volume 25 Issue 2, April, 2014
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 0


15
January 2014 IEEE Transactions on Visualization and Computer Graphics: Volume 20 Issue 1, January 2014
Publisher: IEEE Educational Activities Department
Bibliometrics:
Citation Count: 0

Area-proportional Euler diagrams representing three sets are commonly used to visualize the results of medical experiments, business data, and information from other applications where statistical results are best shown using interlinking curves. Currently, there is no tool that will reliably visualize exact area-proportional diagrams for up to three sets. Limited ...
Keywords: Information visualization, Venn diagrams, Euler diagrams

16
October 2013 WOP'13: Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns - Volume 1188
Publisher: CEUR-WS.org
Bibliometrics:
Citation Count: 1

It has long been recognized that patterns can be a useful and important tool when building models. This is reflected by their adoption in the practice of ontology and software engineering. Similarly, visual representations of information are often seen as beneficial with, for example, software engineering making use of the ...

17
October 2013 Journal of Visual Languages and Computing: Volume 24 Issue 5, October, 2013
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 2

Existing diagrammatic notations based on Euler diagrams are mostly limited in expressiveness to monadic first-order logic with an order predicate. The most expressive monadic diagrammatic notation is known as spider diagrams of order. A primary contribution of this paper is to develop and formalise a second-order diagrammatic logic, called second-order ...
Keywords: Diagrammatic logic, Expressiveness, Second-order logic, Spider diagrams

18
August 2013 Journal of Visual Languages and Computing: Volume 24 Issue 4, August, 2013
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 1

Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are equivalent in expressive power to monadic first-order logic with equality, MFOL=]. In ...
Keywords: Regular languages, Spider diagrams, Diagrammatic logics, Expressiveness, Star-free languages

19
February 2013 Journal of Logic and Computation: Volume 23 Issue 1, February 2013
Publisher: Oxford University Press
Bibliometrics:
Citation Count: 1

Constraint diagrams were proposed as a means of modelling software systems, with generalized constraint diagrams being a recent refinement. It is known that generalized constraint diagrams are more expressive than constraint diagrams and can express any first-order logic statement that uses monadic or dyadic predicates. Thus, the generalized constraint diagram ...

20
July 2012 Diagrams'12: Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 0

We identify commonality in the completeness proof strategies for Euler-based logics and show how, as expressiveness increases, the strategy readily extends. We identify a fragment of concept diagrams, an expressive Euler-based notation, and demonstrate that the completeness proof strategy does not extend to this fragment.



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us