Diagrammatic Representation and Inference Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Σειρά: | Lecture Notes in Computer Science,
2980 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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 New Research 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.
