My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art

Title Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 13, 2000 Proceedings / edited by Michael Anderson, Peter Cheng, Volker Haarslev.

Published Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000.


Location Call No. Status
Physical description 1 online resource.
Series Lecture Notes in Computer Science ; 1889, 0302-9743
Lecture notes in computer science ; 1889, 0302-9743
Springer Lecture Notes in Computer Science
Contents Invited Talks -- Invited Talk: Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective -- Invited Talk: Jon Barwise: A Heterogeneous Appreciation -- Tutorial 1 -- Formal Approaches to Diagrams -- Tutorial 1: Formal Approaches to Visual Language Specification and Understanding -- Tutorial 2 -- Cognitive Approach to Diagrams -- Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery -- Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph -- Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks -- Logic and Diagrams -- Positive Semantics of Projections in Venn-Euler Diagrams -- On the Completeness and Expressiveness of Spider Diagram Systems -- Non-standard Logics for Diagram Interpretation -- Reviving the Iconicity of Beta Graphs -- Constraint Matching for Diagram Design: Qualitative Visual Languages -- Picking Knots from Trees -- Theoretical Concerns about Diagrams -- Differentiating Diagrams: A New Approach -- Logical Systems and Formality -- Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems -- Cognition and Diagrams -- How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm -- Restricted Focus Viewer: A Tool for Tracking Visual Attention -- Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? -- Capacity Limits in Diagrammatic Reasoning -- Human Communication with Diagrams -- Recording the Future: Some Diagrammatic Aspects of Time Management -- Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures -- Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes -- A Comparison of Graphics and Speech in a Task-Oriented Interaction -- Diagramming Aesthetics: Modernism and Architecture in the 21st Century -- Diagrammatic Reasoning/Proof Systems -- JVenn: A Visual Reasoning System with Diagrams and Sentences -- A Proposal for Automating Diagrammatic Reasoning in Continuous Domains -- Playing with Diagrams -- The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams -- Diagrams for Systems, Systems for Diagrams -- Treatment of Diagrams in Document Image Analysis -- Universal Arrow Foundations for Visual Modeling -- Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language -- Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software -- Executing Diagram Sequences -- MetaBuilder: The Diagrammer's Diagrammer -- Diagrammatic Control of Diagrammatic Structure Generation -- Two-Dimensional Positioning as Visual Thinking -- Reordering the Reorderable Matrix as an Algorithmic Problem -- Posters -- Clouds: A Module for Automatic Learning of Concept Maps -- A Diagrammatic Notation for Interval Algebra -- Animation of Diagrams: An Aid to Learning? -- Diagrams as Components of Multimedia Discourse: A Semiotic Approach -- Formalising the Essence of Diagrammatic Syntax -- Using Grids in Maps -- Case Analysis in Euclidean Geometry: An Overview -- Bar Charts Recognition Using Hough Based Syntactic Segmentation -- Experimenting with Aesthetics-Based Graph Layout.
Bibliography With bibliogr. references.
Summary This book constitutes the refereed proceedings of the First International Conference on the Theory and Application of Diagrams, Diagrams 2000, held in Edinburgh, Scotland, UK in September 2000. The 31 revised full papers presented together with 9 posters were carefully reviewed and selected from around 100 submissions. The papers are organized in topical sections on logic and diagrams, theoretical concerns about diagrams, human communication with diagrams, diagrammatic reasoning and proof systems, and diagrams for systems versus systems for diagrams.
Other author Anderson, Michael.
Cheng, Peter.
Haarslev, Volker.
OCLC issuing body.
SpringerLink issuing body.
Subject Computer science.
Computational complexity.
Artificial intelligence.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Discrete Mathematics in Computer Science.
User Interfaces and Human Computer Interaction.
Electronic books.
ISBN 9783540445906