Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /

Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in huma...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Anderson, Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Cheng, Peter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Haarslev, Volker (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Artificial Intelligence ; 1889
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.