Diagrammatic Representation and Inference

Name: Diagrammatic Representation and Inference | 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings

Philip T. Cox Beryl Plimmer Peter Rodgers(Herausgeber*in)

Springer (Verlag)

Erschienen am 19. Juni 2012

XIII, 358 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-31223-6 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken