Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

Front Matter....Pages -
Life on the Line: Interacting with Temporal Event Sequence Representations....Pages 1-2
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning....Pages 3-3
3rd International Workshop on Euler Diagrams....Pages 4-4
Technology Enhanced Diagrams Research Workshop....Pages 5-5
Accessible Graphics: Graphics for Vision Impaired People....Pages 6-6
Graduate Student Symposium of Diagrams 2012....Pages 7-7
Automatically Recognizing Intended Messages in Grouped Bar Charts....Pages 8-22
Representing Category and Continuum: Visualizing Thought....Pages 23-34
Elucidating the Mechanism of Spontaneous Diagram Use in Explanations: How Cognitive Processing of Text and Diagrammatic Representations Are Influenced by Individual and Task-Related Factors....Pages 35-50
Orthogonal Hyperedge Routing....Pages 51-64
Improved Layout for Data Flow Diagrams with Port Constraints....Pages 65-79
Aesthetic Layout of Wiring Diagrams....Pages 80-94
Points, Lines and Arrows in Statistical Graphs....Pages 95-101
Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data....Pages 102-116
Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions....Pages 117-123
Psychological Evidence of Mental Segmentation in Table Reading....Pages 124-131
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides....Pages 132-147
Euler Diagram Encodings....Pages 148-162
Speedith: A Diagrammatic Reasoner for Spider Diagrams....Pages 163-177
Algebra Diagrams: A HANDi Introduction....Pages 178-192
Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions....Pages 193-199
An Exploration of Visual Complexity....Pages 200-213
Diagram Ecologies - Diagrams as Science and Game Board....Pages 214-232
Dynamic Diagrams: A Composition Alternative....Pages 233-240
Diagrammatically-Driven Formal Verification of Web-Services Composition....Pages 241-255
The Diagram of Flow: Its Departure from Software Engineering and Its Return....Pages 256-269
DDA\Repository: An Associative, Dynamic and Incremental Repository of Design Diagrams....Pages 270-276
Structure, Space and Time: Some Ways That Diagrams Affect Inferences in a Planning Task....Pages 277-290
What Can Concept Diagrams Say?....Pages 291-293
CDEG: Computerized Diagrammatic Euclidean Geometry 2.0....Pages 294-296
Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry....Pages 297-299
Algebraic Aspects of Duality Diagrams....Pages 300-302
The Use of Diagrams in Science ....Pages 303-305
A User Study on Curved Edges in Graph Visualisation....Pages 306-308
Truth Diagrams: An Overview....Pages 309-311
Are Teachers Aware of Students’ Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers’ Predictions....Pages 312-314
Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs....Pages 315-317
Completeness Proofs for Diagrammatic Logics....Pages 318-320
Modelling Information Flow: Improving Diagrammatic Visualisations....Pages 321-323
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations....Pages 324-326
Genetic Algorithm for Line Labeling of Diagrams Having Drawing Cues....Pages 327-329
A Logical Investigation on Global Reading of Diagrams....Pages 330-333
Pictures Are Visually Processed; Symbols Are also Recognized....Pages 334-336
How Do Viewers Spontaneously Segment Animated Diagrams of Mechanical and Biological Subject Matter?....Pages 337-339
Which Diagrams and When?....Pages 340-342
Eye Movement Patterns in Solving Scientific Graph Problems....Pages 343-345
Formalising Simple Codecharts....Pages 346-348
Notes about the London Underground Map as an Iconic Artifact....Pages 349-351
The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams....Pages 352-355
Back Matter....Pages -