Diagrammatic representation and inference : Third international conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004 : proceedings
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
2980 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Diagrammatic representation and inference, Third international conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, proceedings, Alan Blackwell, Kim Marriott, Atsushi Shimojima (eds.), Berlin, Springer, 2004, 1 vol. (XV-448 p.), Lecture notes in computer science, 3-540-21268-X • Diagrammatic Representation and Inference, Texte imprimé, 9783662191361 |
Table des matières:
- 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.