default search action
1st Diagrams 2000: Edinburgh, Scotland, UK
- Michael Anderson, Peter C.-H. Cheng, Volker Haarslev:
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1889, Springer 2000, ISBN 3-540-67915-4
Invited Talks
- Alan M. MacEachren:
Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective. 1 - Keith Stenning:
Jon Barwise: A Heterogeneous Appreciation. 2
Tutorial 1 - Formal Approaches to Diagrams
- Kim Marriott:
Formal Approaches to Visual Language Specification and Understanding. 3
Tutorial 2 - Cognitive Approach to Diagrams
- David C. Gooding:
Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery. 4 - Hermina Schijf:
Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph. 5 - Jiajie Zhang:
The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks. 6
Logic and Diagrams
- Joseph Gil, John Howse, Elena Tulchinsky:
Positive Semantics of Projections in Venn-Euler Diagrams. 7-25 - John Howse, Fernando Molina, John Taylor:
On the Completeness and Expressiveness of Spider Diagram Systems. 26-41 - Kim Marriott, Bernd Meyer:
Non-standard Logics for Diagram Interpretation. 42-57 - Sun-Joo Shin:
Reviving the Iconicity of Beta Graphs. 58-73 - Ana von Klopp Lemon, Oliver Lemon:
Constraint Matching for Diagram Design: Qualitative Visual Languages. 74-88 - Frank Drewes, Renate Klempien-Hinrichs:
Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork. 89-104
Theoretical Concerns about Diagrams
- Jesse Norman:
Differentiating Diagrams: A New Approach. 105-116 - Patrick Scotto di Luzio:
Logical Systems and Formality. 117-131 - Keith Stenning:
Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems. 132-148
Cognition and Diagrams
- Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay, Robert Metcalf:
How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm. 149-161 - Alan F. Blackwell, Anthony R. Jansen, Kim Marriott:
Restricted Focus Viewer: A Tool for Tracking Visual Attention. 162-177 - N. Hari Narayanan, Mary Hegarty:
Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? 178-193 - Mary Hegarty:
Capacity Limits in Diagrammatic Reasoning. 194-206
Human Communication with Diagrams
- Stuart Clink, Julian Newman:
Recording the Future: Some Diagrammatic Aspects of Time Management. 207-220 - Barbara Tversky, Jeff Zacks, Paul U. Lee, Julie Heiser:
Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures. 221-230 - Sara Jones, Michael Scaife:
Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes. 231-244 - Patrick G. T. Healey, Rosemarie McCabe, Yasuhiro Katagiri:
A Comparison of Graphics and Speech in a Task-Oriented Interactio. 245-256 - Mark J. Clayton:
Diagrammatic Aesthetics: Modernism and Architecture. 257-270
Diagrammatic Reasoning/Proof Systems
- Hajime Sawamura, Kensuke Kiyozuka:
JVenn: A Visual Reasoning System with Diagrams and Sentences. 271-285 - Daniel Winterstein, Alan Bundy, Mateja Jamnik:
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. 286-299 - Robert K. Lindsay:
Playing with Diagrams. 300-313 - George W. Furnas, Yan Qu, Sanjeev Shrivastava, Gregory Peters:
The Use of Intermediat Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams. 314-329
Diagrams for Systems, Systems for Diagrams
- Dorothea Blostein, Edward Lank, Richard Zanibbi:
Treatment of Diagrams in Document Image Analysis. 330-344 - Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson:
Universal Arrow Foundations for Visual Modeling. 345-360 - Alexander Felfernig, Markus Zanker:
Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language. 361-375 - Carol Britton, Sara Jones, Maria Kutar, Martin J. Loomes, Brian Robinson:
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software. 376-391 - Joe Thurbon:
Executing Diagram Sequences. 392-406 - R. Ian Ferguson, Andrew Hunter, Colin J. Hardy:
MetaBuilder: The Diagrammer's Diagrammer. 407-421 - Stefan Gruner, Murat Kurt:
Diagrammatic Control of Diagrammatic Structure Generation. 422-436 - Shingo Takada, Yasuhiro Yamamoto, Kumiyo Nakakoji:
Two-Dimensional Positioning as Visual Thinking. 437-452 - Erkki Mäkinen, Harri Siirtola:
Reordering the Reorderable Matrix as an Algorithmic Problem. 453-467
Posters
- Francisco C. Pereira, Amílcar Cardoso:
Clouds: A Module for Automatic Learning of Concept Maps. 468-470 - Zenon Kulpa:
A Diagrammatic Notation for Interval Algebra. 471-474 - Richard Lowe:
Animation of Diagrams: An Aid to Learning? 475-478 - John H. Connolly:
Diagrams as Components of Multimedia Discourse: A Semiotic Approach. 479-482 - Corin A. Gurr, Konstantinos Tourlas:
Formalising the Essence of Diagrammatic Syntax. 483-485 - Alexander Klippel, Lars Kulik:
Using Grids in Maps. 486-489 - Nathaniel Miller:
Case Analysis in Euclidean Geometry: An Overview. 490-493 - Yan Ping Zhou, Chew Lim Tan:
Bar Charts Recognition Using Hough Based Syntactic Segmentation. 494-497 - Helen C. Purchase, David A. Carrington, Jo-Anne Allder:
Experimenting with Aesthetics-Based Graph Layout. 498-501
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.