TY - BOOK
AU - Blackwell,Alan F.
AU - Marriott,Kim
AU - Shimojima,Atsushi
ED - Diagrams (Conference)
TI - Diagrammatic representation and inference: third international conference, Diagrams 2004 Cambridge, UK, March 22-24, 2004 : proceedings
T2 - Lecture notes in computer science,
SN - 3540259317
AV - QA90 .D53 2004eb
U1 - 006.6 22
PY - 2004///
CY - Berlin, New York
PB - Springer
KW - Graphic methods
KW - Congresses
KW - Visual communication
KW - Computer graphics
KW - Computer Applications
KW - Computer Science, general
KW - Communication visuelle
KW - Congrès
KW - Infographie
KW - Méthodes graphiques
KW - COMPUTERS
KW - Image Processing
KW - bisacsh
KW - PHOTOGRAPHY
KW - Techniques
KW - Digital
KW - TECHNOLOGY & ENGINEERING
KW - Imaging Systems
KW - Digital Media
KW - Graphics Applications
KW - fast
KW - Diagramm
KW - gnd
KW - Diagrammatisches Schließen
KW - Wissensrepräsentation
KW - Méthode graphique
KW - rasuqam
KW - Représentation graphique
KW - Raisonnement diagrammatique
KW - Cambridge (2004)
KW - swd
KW - diagramatic representation
KW - diagrams
KW - inference
KW - Electronic books
KW - Conference papers and proceedings
KW - Kongress
N1 - Includes bibliographical references and index; 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
N2 - This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004. The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering
UR - https://link-springer-com.libraryproxy.ist.ac.at/10.1007/b95854
ER -