ISBN: 3-540-67915-4
TITLE: Theory and Application of Diagrams
AUTHOR: Anderson, Michael; Cheng, Peter; Haarslev, Volker (Eds.)
TOC:

Invited Talks
Invited Talk: Representations to Mediate Geospatial
Collaborative Reasoning: A Cognitive-Semiotic Perspective 1
Alan M. MacEachren
Invited Talk: Jon Barwise: A Heterogeneous Appreciation 2
Keith Stenning
Tutorial 1  Formal Approaches to Diagrams
Tutorial 1: Formal Approaches to Visual Language Specification and Understanding 3
Kim Marriott
Tutorial 2  Cognitive Approach to Diagrams
Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery 4
David Gooding
Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph 5
Hermi Schijf
Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks 6
Jiajie Zhang
Logic and Diagrams
Positive Semantics of Projections in Venn-Euler Diagrams 7
Joseph (Yossi) Gil, John Howse and Elena Tulchinsky
On the Completeness and Expressiveness of Spider Diagram Systems 26
John Howse, Fernando Molina and John Taylor
Non-standard Logics for Diagram Interpretation 42
Kim Marriott and Bernd Meyer
Reviving the Iconicity of Beta Graphs 58
Sun-Joo Shin
Constraint Matching for Diagram Design: Qualitative Visual Languages 74
Ana von Klopp Lemon and Oliver von Klopp Lemon
Picking Knots from Trees  The Syntactic Structure of Celtic Knotwork 89
Frank Drewes and Renate Klempien-Hinrichs
Theoretical Concerns about Diagrams
Differentiating Diagrams: A New Approach 105
Jesse Norman
Logical Systems and Formality 117
Patrick Scotto di Luzio
Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems 132
Keith Stenning
Cognition and Diagrams
How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm 149
Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay and Robert Metcalf
Restricted Focus Viewer: A Tool for Tracking Visual Attention 162
Alan F. Blackwell, Anthony R. Jansen and Kim Marriott
Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? 178
N. Hari Narayanan and Mary Hegarty
Capacity Limits in Diagrammatic Reasoning 194
Mary Hegarty
Human Communication with Diagrams
Recording the Future: Some Diagrammatic Aspects of Time Management 207
Stuart Clink and Julian Newman
Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures 221
Barbara Tversky, Jeff Zacks, Paul Lee and Julie Heiser
Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes 231
Sara Jones and Mike Scaife
A Comparison of Graphics and Speech in a Task-Oriented Interaction 245
Patrick G. T. Healey, Rosemarie McCabe and Yasuhiro Katagiri
Diagramming Aesthetics: Modernism and Architecture in the 21st Century 257
Mark J. Clayton
Diagrammatic Reasoning/Proof Systems
JVenn: A Visual Reasoning System with Diagrams and Sentences 271
Hajime Sawamura and Kensuke Kiyozuka
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains 286
Daniel Winterstein, Alan Bundy and Mateja Jamnik
Playing with Diagrams 300
Robert K. Lindsay
The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams 314
George Furnas, Yan Qu, Sanjeev Shrivastava and Gregory Peters
Diagrams for Systems, Systems for Diagrams
Treatment of Diagrams in Document Image Analysis 330
Dorothea Blostein, Edward Lank and Richard Zanibbi
Universal Arrow Foundations for Visual Modeling 345
Zinovy Diskin, Boris Kadish, Frank Piessens and Michael Johnson
Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language 361
Alexander Felfernig and Markus Zanker
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software 376
Carol Britton, Sara Jones, Maria Kutar, Martin Loomes and Brian Robinson
Executing Diagram Sequences 392
Joseph Thurbon
MetaBuilder: The Diagrammer's Diagrammer 407
Robert Ian Ferguson, Andrew Hunter and Colin Hardy
Diagrammatic Control of Diagrammatic Structure Generation 422
Stefan Gruner and Murat Kurt
Two-Dimensional Positioning as Visual Thinking 437
Shingo Takada, Yasuhiro Yamamoto and Kumiyo Nakakoji
Reordering the Reorderable Matrix as an Algorithmic Problem 453
Erkki Mkinen and Harri Siirtola
Posters
Clouds: A Module for Automatic Learning of Concept Maps 468
Francisco C amara Pereira and Amlcar Cardoso
A Diagrammatic Notation for Interval Algebra 471
Zenon Kulpa
Animation of Diagrams: An Aid to Learning? 475
Richard Lowe
Diagrams as Components of Multimedia Discourse: A Semiotic Approach 479
John H. Connolly
Formalising the Essence of Diagrammatic Syntax 483
Corin Gurr and Konstantinos Tourlas
Using Grids in Maps 486
Alexander Klippel and Lars Kulik
Case Analysis in Euclidean Geometry: An Overview 490
Nathaniel Miller
Bar Charts Recognition Using Hough Based Syntactic Segmentation 494
Yan Ping Zhou and Chew Lim Tan
Experimenting with Aesthetics-Based Graph Layout 498
Helen C. Purchase, David Carrington and Jo-Anne Allder
Author Index 503
END
