Diagrammatic Representation and Inference
7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings
Published on 19. June 2012
XIII, 358 pages
978-3-642-31223-6 (ISBN)
Description
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012.
The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
More details
Other editions
Additional editions
Philip T. Cox | Beryl Plimmer | Peter Rodgers
Diagrammatic Representation and Inference
7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings
Book
06/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Keynote
- Life on the Line: Interacting with Temporal Event Sequence Representations
- Interactive Environments
- References
- Tutorial
- Learning to Use the Openbox: A Framework fort he Implementation of Heterogeneous Reasoning
- Description
- Workshops
- 3rd International Workshop on Euler Diagrams
- Technology Enhanced Diagrams Research Workshop
- Accessible Graphics: Graphics for Vision Impaired People
- Introduction
- Graduate Student Symposium
- Graduate Student Symposium of Diagrams 2012
- Psychological and Cognitive Issues
- Automatically Recognizing Intended Messages in Grouped Bar Charts
- Introduction
- Messages
- Messages
- Annotation
- Communicative Signals
- Salience via Visual Signals
- Linguistic Signals
- Relative Perceptual Effort as a Communicative Signal
- Recognizing the Intended Message
- System Architecture
- Extracting Evidence
- Training
- Current Performance and Discussion
- Conclusion
- Future Work
- Summary
- References
- Representing Category and Continuum: Visualizing Thought
- Introduction
- Experiment 1: Performance
- Method
- Results
- Discussion
- Experiment 2: Preference
- Method
- Results
- Discussion
- General Discussion
- References
- 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
- Introduction
- Cognitive Processing of Text and Diagrammatic Representations
- Individual and Task-Related Factors that Influence Resource Allocation
- Overview and Predictions of the Present Study
- Method
- Participants
- Materials
- Procedure
- Results
- Discussion
- References
- Diagram Layout
- Orthogonal Hyperedge Routing
- Introduction
- Interaction Model and Problem Statement
- Semi-automatic Routing
- Fully Automatic Routing
- Heuristic 1: Sequential Construction of MTST
- Heuristic 2: Interleaved Construction of SPTF and MTST
- Evaluation
- Conclusion
- References
- Improved Layout for Data Flow Diagrams with Port Constraints
- Introduction
- Data Flow Models
- Simulink
- Ptolemy
- Related Work
- Definitions
- The KLay Algorithm
- Side Ports
- Inverted Ports
- Hierarchical Ports
- Evaluation
- Conclusion
- References
- Aesthetic Layout of Wiring Diagrams
- Introduction
- Problem Statement
- Positioning of Diagram Elements
- Connector Routing
- Evaluation
- Conclusion
- References
- Diagrams and Data Analysis
- Points, Lines and Arrows in Statistical Graphs
- Introduction
- Experiment
- Participants, Materials and Design
- Results
- Discussion
- Conclusion and Future Work
- References
- Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data
- Introduction
- Related Work
- Data Model and Indented Metaphor
- Data Model
- Indented Plot Generation
- Visual Interpretation of an Indented Plot
- Combination with Additional Node-Associated Data
- Indented Bar Diagram
- Indented Timeline Diagram
- Indented Matrix Diagram
- Interactive Features
- Case Study
- File Systems
- Dynamic Water Levels
- Conclusion and Future Work
- References
- Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions
- Introduction
- Three Examples of Effect Size Sensitivity
- Conclusion
- References
- Psychological Evidence of Mental Segmentation in Table Reading
- Introduction
- Experiment
- Method
- Results
- Discussion
- Conclusion
- References
- Venn and Euler Diagrams
- Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides
- Introduction
- Venn Diagrammatic System
- Venn Diagrams
- Venn Diagrammatic Inference System
- Translation of Venn Diagrammatic System
- Resolution Calculus
- Translation of V
- Free Ride in Venn Diagrammatic System
- A Comparison of Venn Diagrams and Euler Diagrams
- Free Rides in Euler Diagrammatic System
- Discussion and Future Work
- References
- Euler Diagram Encodings
- Introduction
- Preliminaries
- The Static Code
- Incremental Curve Addition
- Encoding Zones
- Discussion and Conclusions
- References
- Reasoning with Diagrams
- Speedith: A Diagrammatic Reasoner for Spider Diagrams
- Introduction
- Spider Diagrams: Syntax and Semantics
- Speedith's Inference Rules
- Architecture of Speedith
- Abstract Representation
- The Reasoning Kernel
- Verification with External Tools
- Diagram Visualisation
- Results and Related Work
- Future Work and Conclusion
- References
- Algebra Diagrams: A HANDi Introduction
- Introduction
- HANDi Expressions
- Basic Operators
- Equation
- Identities and Inverse Operations
- Negative and Imaginary Numbers - Unary Turn Operators
- Combined Unary and Higher Order Operators
- Repeated Operations - Recursive Addition and Powers
- Elementary HANDi Transformation Rules
- Derived Proofs and Composite Transformation Rules
- HANDi Design
- References
- Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions
- Introduction: The Aristotelian Square of Oppositions
- Sesmat-Blanché: From Square to SB-Hexagon
- Sherwood-Czezowski: From Square to SC-Hexagon
- Boolean Closure of the SC-Hexagon
- Hexagonal Closure of the Three SC-squares
- Three More Hexagonal Closures
- Isomorphisms and the Rhombic Dodecahedron
- Conclusions
- References
- Investigating Aesthetics
- An Exploration of Visual Complexity
- Introduction
- Background
- Interface Aesthetics
- Visual Perception of Web Pages
- Visual Complexity
- Method
- Objective Measures of Complexity
- Subjective Perception of Complexity
- The Data
- Analysis
- Consistency
- Computational Predictors of Visual Complexity
- Testing the Model
- Discussion
- Conclusion
- References
- Diagram Ecologies - Diagrams as Science and Game Board
- The Relational Identity of Diagrams
- Scientific / Heuristic Diagram and the Myth of Its Transparency
- Syntactic Diagram and Game Board
- Scientific and Syntactic Diagram in Digital Context
- References
- Dynamic Diagrams: A Composition Alternative
- Introduction
- Decomposition versus Composition
- Composition Components
- Sequencing Composition
- Conclusion
- References
- Applications of Diagrams
- Diagrammatically-Driven Formal Verification of Web-Services Composition
- Introduction
- Representation
- Classical Linear Logic Specifications
- Diagrammatic Notation
- Proof-Based Diagrammatic Composition
- The JOIN Action
- The TENSOR Action
- The WITH Action
- Use Case: Home Purchasing
- Example Sub-proof: Composite I/O
- Example Sub-proof: Optional I/O
- The Diagrammatic Interface
- Related Work
- Future Work
- Conclusion
- References
- The Diagram of Flow: Its Departure from Software Engineering and Its Return
- Introduction
- Replacement of Flow as Program Paradigm
- Contrasting Practices
- Structuring the Unstructured
- Restructuring the Representation of Program and System
- Initial Responses
- Tree Chart
- Flowcharts Adjusted and Block-Like Variants
- Data-Centric Views
- Whole System Representation - HIPO
- Flow Survives Object-Orientation
- New Object-Oriented Approaches
- Initial Version of the UML Activity Diagram
- A Flow Diagram by Any other Name?
- Incorporating More Features From Flowcharts
- Acceptance of Flow in the UML
- Conclusions
- References
- DDA\Repository: An Associative, Dynamic and Incremental Repository of Design Diagrams
- Introduction
- Prototype Overview
- Motivating Context
- Related Ideas
- Prototype Architecture
- Prototype Functionalities
- Diagram Creation
- Uses and Benefits
- Evaluation
- Future Extensions
- References
- Structure, Space and Time: Some Ways That Diagrams Affect Inferences in a Planning Task
- Introduction
- Selecting and Using Planning Trees
- Method
- Participants
- Stimuli
- Procedure
- Results
- Discussion
- References
- Posters
- What Can Concept Diagrams Say?
- References
- CDEG: Computerized Diagrammatic Euclidean Geometry 2.0
- References
- Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry
- Introduction
- Omnidirectional Vision
- Coverage Analysis
- Interconnection Network
- Conclusion
- References
- Algebraic Aspects of Duality Diagrams
- References
- The Use of Diagrams in $Science$
- Scientific Inscriptions
- Methods
- Results
- Discussion
- References
- A User Study on Curved Edges in Graph Visualisation
- Introduction
- Experiment and Results
- Discussions
- References
- Truth Diagrams: An Overview
- References
- Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers' Predictions
- Introduction
- Method
- Results and Discussion
- References
- Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs
- Introduction
- Case Studies
- Conclusions
- References
- Completeness Proofs for Diagrammatic Logics
- Introduction
- More Expressive Notations and the End of the Strategy
- Conclusion
- References
- Modelling Information Flow: Improving Diagrammatic Visualisations
- Introduction
- Information Flow Diagrammatic Modelling Needs
- Implications for Researchers and Practitioners
- References
- A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations
- References
- Genetic Algorithm for Line Labeling of Diagrams Having Drawing Cues
- Introduction
- Genetic Algorithm Approach for Line Labeling
- Introducing Drawing Cues to Enhance Line Labeling
- Results and Discussion
- Conclusion
- References
- A Logical Investigation on Global Reading of Diagrams
- References
- Pictures Are Visually Processed
- Symbols Are also Recognized
- Introduction
- References
- How Do Viewers Spontaneously Segment Animated Diagrams of Mechanical and Biological Subject Matter?
- Introduction
- Materiel and Method
- Procedure, Analysis and Scoring
- Results
- Conclusion
- References
- Which Diagrams and When? Health Workers' Choice and Usage of Different Diagram Types for Service Improvement
- Introduction
- Methods
- Results and Discussion
- Reference
- Eye Movement Patterns in Solving Scientific Graph Problems
- Introduction
- Method
- Results and Discussion
- Interest Areas
- Responses and Inspection Regions in the Main Graph
- Reference
- Formalising Simple Codecharts
- References
- Notes about the London Underground Map as an Iconic Artifact
- Iconic Operacionality of London Underground Map
- London Underground Map: A Cognitive Tool for its Users
- Diagram as a Mind-Tool
- References
- The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams
- Introduction
- Experiment and Result
- References
- Author Index
