Advertisement

Diagrammatic Representation and Inference

Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings

  • Mary Hegarty
  • Bernd Meyer
  • N. Hari Narayanan
Conference proceedings Diagrams 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2317)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2317)

Table of contents

  1. Front Matter
    Pages I-XIV
    PDF

  2. Invited Talk

    1. What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications
      B. Chandrasekaran
      Pages 1-2

  3. Understanding and Communicating with Diagrams

    1. Movement Conceptualizations in Graphical Communication
      Ichiro Umata, Yasuhiro Katagiri, Atsushi Shimojima
      Pages 3-17
    2. Toward a Model of Knowledge-Based Graph Comprehension
      Eric G. Freedman, Priti Shah
      Pages 18-30
    3. Learning on Paper: Diagrams and Discovery in Game Playing
      Susan L. Epstein, J.-Holger Keibel
      Pages 31-45

  4. Diagrams in Mathematics

    1. Using Animation in Diagrammatic Theorem Proving
      Daniel Winterstein, Alan Bundy, Corin Gurr, Mateja Jamnik
      Pages 46-60
    2. Generating Euler Diagrams
      Jean Flower, John Howse
      Pages 61-75
    3. Corresponding Regions in Euler Diagrams
      John Howse, Gemma Stapleton, Jean Flower, John Taylor
      Pages 76-90

  5. Computational Aspects of Diagrammatic Representation and Reasoning

    1. CDEG: Computerized Diagrammatic Euclidean Geometry
      Nathaniel Miller
      Pages 91-93
    2. Compositional Semantics for Diagrams Using Constrained Objects
      Bharat Jayaraman, Pallavi Tambay
      Pages 94-96
    3. Retrieving 2-D Line Drawings by Example
      Patrick W. Yaner, Ashok K. Goel
      Pages 97-99
    4. A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas
      Steven Tanimoto, William Winn, David Akers
      Pages 100-102
    5. An Environment for Conducting and Analysing Graphical Communication Experiments
      Patrick G. T. Healey, Nik Swoboda, James King
      Pages 103-105
    6. Grammar-Based Layout for a Visual Programming Language Generation System
      Ke-Bing Zhang, Kang Zhang, Mehmet A. Orgun
      Pages 106-108
    7. Heterogeneous Data Querying in a Diagrammatic Information System
      Michael Anderson, Brian Andersen
      Pages 109-111
    8. Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML
      Zinovy Diskin
      Pages 112-115

  6. Logic and Diagrams

    1. The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations
      Atsushi Shimojima
      Pages 116-130
    2. Modeling Heterogeneous Systems
      Nik Swoboda, Gerard Allwein
      Pages 131-145
    3. On Diagram Tokens and Types
      John Howse, Fernando Molina, Sun-Joo Shin, John Taylor
      Pages 146-160

  7. Diagrams in Human-Computer Interaction

    1. Effects of Navigation and Position on Task When Presenting Diagrams to Blind People uUsing Sound
      David J. Bennett
      Pages 161-175
    2. A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine
      Christian S. Collberg
      Pages 176-190
    3. Diagrammatic Integration of Abstract Operations into Software Work Contexts
      Alan F. Blackwell, Hanna Wallach
      Pages 191-205

  8. Tracing the Processes of Diagrammatic Reasoning

    1. Extracting Explicit and Implict Information from Complex Visualizations
      J. Gregory Trafton, Sandra Marshall, Farilee Mintz, Susan B. Trickett
      Pages 206-220
    2. Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer
      Pablo Romero, Richard Cox, Benedict du Boulay, Rudi Lutz
      Pages 221-235
    3. Guiding Attention Produces Inferences in Diagram-Based Problem Solving
      Elizabeth R. Grant, Michael J. Spivey
      Pages 236-248

  9. Visualizing Information with Diagrams

    1. ViCo: A Metric for the Complexity of Information Visualizations
      Johannes Gärtner, Silvia Miksch, Stefan Carl-McGrath
      Pages 249-263
    2. Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams
      Peter C-H. Cheng, Rossano Barone, Peter I. Cowling, Samad Ahmadi
      Pages 264-278
    3. Using Brightness and Saturation to Visualize Belief and Uncertainty
      Joseph J. Pfeiffer Jr.
      Pages 279-289

  10. Diagrams in Software Engineering

    1. Structure, Abstraction, and Direct Manipulation in Diagram Editors
      Oliver Köth, Mark Minas
      Pages 290-304
    2. On the Definition of Visual Languages and Their Editors
      Paolo Bottoni, Gennaro Costagliola
      Pages 305-319
    3. Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
      Yan Jin, Robert Esser, Jörn W. Janneck
      Pages 320-334

  11. Cognitive Aspects of Diagrammatic Representation and Reasoning

    1. The Learnability of Diagram Semantics
      Pourang Irani
      Pages 335-337
    2. Understanding Simultaneity and Causality in Static Diagrams versus Animation
      Sarah Kriz
      Pages 338-340
    3. External Representations Contribute to the Dynamic Construction of Ideas
      Masaki Suwa, Barbara Tversky
      Pages 341-343
    4. One Small Step for a Diagram, One Giant Leap for Meaning
      Robert R. Hoffman, John W. Coffey, Patrick J. Hayes, Alberto J. Cañas, Kenneth M. Ford, Mary J. Carnot
      Pages 344-346
    5. Understanding Static and Dynamic Visualizations
      Sally Bogacz, J. Gregory Trafton
      Pages 347-349
    6. Teaching Science Teachers Electricity Using AVOW Diagrams
      Peter C-H. Cheng, Nigel G. Pitt
      Pages 350-352
    7. Conceptual Diagrams: Representing Ideas in Design
      Fehmi Dogan, Nancy J. Nersessian
      Pages 353-355
    8. A Survey of Drawing in Cross-Linguistic Communication
      Charlotte R. Peters, Patrick G. T. Healey
      Pages 356-358

  12. Invited Talk

    1. Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces
      James A. Landay
      Pages 359-359
  13. Back Matter
    Pages 361-362
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.
The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on understanding and communicating with diagrams, diagrams in mathematics, computational aspects of diagrammatic representation and reasoning, logic and diagrams, diagrams in human-computer interaction, tracing the process of diagrammatic reasoning, visualizing information with diagrams, diagrams and software engineering, and cognitive aspects.

Keywords

Animation Cognition Conceptual Graphs Diagram Interpretation Diagram Semantics Diagram Syntax Diagrammatic Communication Diagrams Graphical Representation Visual Languages Visual Programming computer human-computer interaction human-computer interaction (HCI) logic

Editors and affiliations

  • Mary Hegarty
    • 1
  • Bernd Meyer
    • 2
  • N. Hari Narayanan
    • 3
  1. 1.University of CaliforniaSanta BarbaraUSA
  2. 2.School of Computer Science and Software EngineeringMonash UniversityVictoriaAustralia
  3. 3.Department of Computer Science and Software EngineeringAuburn UniversityAuburnUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46037-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43561-7
  • Online ISBN 978-3-540-46037-4
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site