Diagrammatic Representation and Inference | Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings | ISBN 9783540259312

Diagrammatic Representation and Inference

Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

herausgegeben von Alan Blackwell, Kim Marriott und Atsushi Shimojima
Mitwirkende
Herausgegeben vonAlan Blackwell
Herausgegeben vonKim Marriott
Herausgegeben vonAtsushi Shimojima
Buchcover Diagrammatic Representation and Inference  | EAN 9783540259312 | ISBN 3-540-25931-7 | ISBN 978-3-540-25931-2

Diagrammatic Representation and Inference

Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

herausgegeben von Alan Blackwell, Kim Marriott und Atsushi Shimojima
Mitwirkende
Herausgegeben vonAlan Blackwell
Herausgegeben vonKim Marriott
Herausgegeben vonAtsushi Shimojima

Inhaltsverzeichnis

  • Diagrams in the Mind and in the World: Relations between Internal and External Visualizations.
  • Can Diagrams Have Epistemic Value? The Case of Euclid.
  • Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations.
  • On Frege’s Logical Diagrams.
  • Psychological Foundations for Concept Modeling.
  • On Differences between the Real and Physical Plane.
  • Query Graphs with Cuts: Mathematical Foundations.
  • Towards a Default Reading for Constraint Diagrams.
  • Drawing Graphs in Euler Diagrams.
  • Diagrams and Non-monotonicity in Puzzles.
  • Peirce’s Diagrammatic Logic in IF Perspective.
  • What Can Spider Diagrams Say?.
  • Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.
  • On Extending Venn Diagram by Augmenting Names of Individuals.
  • Reasoning with Projected Contours.
  • An Architecture for Problem Solving with Diagrams.
  • Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.
  • Automated Model Transformation and Its Validation Using AToM3 and AGG.
  • Inter-diagrammatic Reasoning and Digital Geometry.
  • A Prototype Inference Engine for Rule-Based Geometric Reasoning.
  • Automatic Proofs for Scalecharts.
  • Diagram Schemas: What, Why, How.
  • Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.
  • Interpreting Imprecise Diagrams.
  • Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.
  • Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics.
  • Individual Differences in Graphical Reasoning.
  • Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction.
  • Predictors of Success in Diagrammatic Problem Solving.
  • Speech and Graphical Interaction in Multimodal Communication.
  • Generating NewResearch Hypotheses from a Result Diagram of Qualitative Research.
  • Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?.
  • Learning with Diagrams: Effects on Inferences and the Integration of Information.
  • Making TRACS: The Diagrammatic Design of a Double-Sided Deck.
  • A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’.
  • Using Graphics to Communicate Across Cultures.
  • The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task.
  • User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?.
  • Processing Animation: Integrating Information from Animated Diagrams.
  • A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study.
  • Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?.
  • Spatial Transformations in Graph Comprehension.
  • Constructing Diagrams Representing Group Motions.
  • Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.
  • Bayesian Boxes: A Colored Calculator for Picturing Posteriors.
  • Representing Rosters: Conceptual Integration Counteracts Visual Complexity.
  • Visualization Techniques for Product Change and Product Modelling in Complex Design.
  • Geographic Projection of Cluster Composites.
  • Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data.
  • Feature Diagrams in Phonology.
  • Using Color Component Overlays for Result Visualization in a Classification by Sketch System.
  • Teaching Children Brackets by Manipulating Trees: Is Easier Harder?.
  • Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.
  • Diagrammatic Spreadsheet: An Overview.
  • Perceptual Support of Diagram Creation and Editing.
  • ScanScribe: Perceptually Supported Diagram Image Editing.
  • An Experimental Comparison of Diagrammatic and Algebraic Logics.
  • Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.
  • Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages.
  • Notations for Software Engineering Class Structures.