Diagrammatic Representation and Inference

by Diagrams 2002 (Callaway Gardens, Pine Mountain, Ga.); Meyer, Bernd E.; Narayanan, N. Hari

• ISBN13: 9783540435617
• ISBN10: 3540435611
• Format: Paperback
• Copyright: 2002-04-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Invited Talk
What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications	1	(2)
B. Chandrasekaran
Understanding and Communicating with Diagrams
Movement Conceptualizations in Graphical Communication	3	(15)
Ichiro Umata
Yasuhiro Katagiri
Atsushi Shimojima
Toward a Model of Knowledge-Based Graph Comprehension	18	(13)
Eric G. Freedman
Priti Shah
Learning on Paper: Diagrams and Discovery in Game Playing	31	(15)
Susan L. Epstein
J.-Holger Keibel
Diagrams in Mathematics
Using Animation in Diagrammatic Theorem Proving	46	(15)
Daniel Winterstein
Alan Bundy
Corin Gurr
Mateja Jamnik
Generating Euler Diagrams	61	(15)
Jean Flower
John Howse
Corresponding Regions in Euler Diagrams	76	(15)
John Howse
Gemma Stapleton
Jean Flower
John Taylor
Computational Aspects of Diagrammatic Representation and Reasoning
CDEG: Computerized Diagrammatic Euclidean Geometry	91	(3)
Nathaniel Miller
Compositional Semantics for Diagrams Using Constrained Objects	94	(3)
Bharat Jayaraman
Pallavi Tambay
Retrieving 2-D Line Drawings by Example	97	(3)
Patrick W. Yaner
Ashok K. Goel
A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas	100	(3)
Steven Tanimoto
William Winn
David Akers
An Environment for Conducting and Analysing Graphical Communication Experiments	103	(3)
Patrick G.T. Healey
Nik Swoboda
James King
Grammar-Based Layout for a Visual Programming Language Generation System	106	(3)
Ke-Bing Zhang
Kang Zhang
Mehmet A. Orgun
Heterogeneous Data Querying in a Diagrammatic Information System	109	(3)
Michael Anderson
Brain Anderson
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML	112	(4)
Zinovy Diskin
Logic and Diagrams
The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations	116	(15)
Atsushi Shimojima
Modeling Heterogeneous Systems	131	(15)
Nik Swoboda
Gerard Allwein
On Diagram Tokens and Types	146	(15)
John Howse
Fernando Molina
Sun-Joo Shin
John Taylor
Diagrams in Human-Computer Interaction
Effects of Navigation and Position on Task When Presenting Diagrams to Blind People Using Sound	161	(15)
David J. Bennett
A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine	176	(15)
Christian S. Collberg
Diagrammatic Integration of Abstract Operations into Software Work Contexts	191	(15)
Alan F. Blackwell
Hanna Wallach
Tracing the Processes of Diagrammatic Reasoning
Extracting Explicit and Implict Information from Complex Visualizations	206	(15)
J. Gregory Trafton
Sandra Marshall
Farilee Mintz
Susan B. Trickett
Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer	221	(15)
Pablo Romero
Richard Cox
Benedict du Boulay
Rudi Lutz
Guiding Attention Produces Inferences in Diagram-Based Problem Solving	236	(13)
Elizabeth R. Grant
Michael J. Spivey
Visualizing Information with Diagrams
ViCo: A Metric for the Complexity of Information Visualizations	249	(15)
Johannes Gartner
Silvia Miksch
Stefan Carl-McGrath
Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams	264	(15)
Peter C-H. Cheng
Rossano Barone
Peter I. Cowling
Samad Ahmadi
Using Brightness and Saturation to Visualize Belief and Uncertainty	279	(11)
Joseph J. Pfeiffer, Jr.
Diagrams in Software Engineering
Structure, Abstraction, and Direct Manipulation in Diagram Editors	290	(15)
Oliver Koth
Mark Minas
On the Definition of Visual Languages and Their Editors	305	(15)
Paolo Bottoni
Gennaro Costagliola
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment	320	(15)
Yan Jin
Robert Esser
Jorn W. Janneck
Cognitive Aspects of Diagrammatic Representation and Reasoning
The Learnability of Diagram Semantics	335	(3)
Pourang Irani
Understanding Simultaneity and Causality in Static Diagrams versus Animation	338	(3)
Sarah Kriz
External Representations Contribute to the Dynamic Construction of Ideas	341	(3)
Masaki Suwa
Barbara Tversky
One Small Step for a Diagram, One Giant Leap for Meaning	344	(3)
Robert R. Hoffman
John W. Coffey
Patrick J. Hayes
Albert J. Canas
Kenneth M. Ford
Mary J. Carnot
Understanding Static and Dynamic Visualizations	347	(3)
Sally Bogacz
J. Gregory Trafton
Teaching Science Teachers Electricity Using AVOW Diagrams	350	(3)
Peter C-H. Cheng
Nigel G. Pitt
Conceptual Diagrams: Representing Ideas in Design	353	(3)
Fehmi Dogan
Nancy J. Nersessian
A Survey of Drawing in Cross-Linguistic Communication	356	(3)
Charlotte R. Peters
Patrick G.T. Healey
Invited Talk
Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces	359	(2)
James A. Landay
Author Index	361