Search Results - "The Spider"

Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings by Diagrams (Conference) Canterbury, England), SpringerLink (Online service)

Contents: “…Speedith: A Diagrammatic Reasoner for Spider Diagrams /…”
SpringerLink - Click here for access

Diagrammatic representation and inference : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28-August 1, 2014. Proceedings by Diagrams (Conference) Melbourne, Vic.), SpringerLink (Online service)

Contents: “…Octilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams -- Counting Crossings for Layered Hypergraphs -- Evolutionary Meta Layout of Graphs -- Seeing Around Corners: Fast Orthogonal Connector Routing -- Tennis Plots: Game, Set, and Match -- Coloured Modelling Spider Diagrams -- Graphical Representations of Context-Free Languages -- An Example Hyper Venn Proof -- Visualizing Concepts with Euler Diagrams -- Argument Mapping for Mathematics in Proof scape -- Towards a General Diagrammatic Literacy: An Approach to Thinking Critically about Diagrams -- Item Differential in Computer Based and Paper Based Versions of a High Stakes Tertiary Entrance Test: Diagrams and the Problem of Annotation -- Students' Spontaneous Use of Diagrams in Written Communication Understanding Variations According to Purpose and Cognitive Cost Entailed -- How Communicative Learning Situations Influence Students' Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Explanation -- Evaluating the Impact of Clutter in Euler Diagrams -- The Impact of Shape on the Perception of Euler Diagrams -- Alternative Strategies in Processing 3D Objects Diagrams: Static, Animated and Interactive Presentation of a Mental Rotation Test in an Eye Movements Cued Retrospective Study -- Visualizing Sets: An Empirical Comparison of Diagram Types -- Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals? …”
SpringerLink - Click here for access

Diagrammatic representation and inference : 6th international conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010 : proceedings by Diagrams (Conference) Portland, Or.), SpringerLink (Online service)

Contents: “…-- Understanding Diagrams, and More: The Computer's View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information Visualization -- Graduate Student Symposium -- The Graduate Student Symposium of Diagrams 2010 -- Euler and Venn Diagrams -- The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings -- Drawing Euler Diagrams with Circles -- Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information -- Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons -- Formal Aspects of Diagrams -- Fragments of Spider Diagrams of Order and Their Relative Expressiveness -- A Calculus for Graphs with Complement -- Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style -- Reasoning with Diagrams -- Alternative Strategies for Spatial Reasoning with Diagrams -- Relating Two Image-Based Diagrammatic Reasoning Architectures -- A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning -- Toward a Physics of Equations -- Interacting with Diagrams -- Usability of Accessible Bar Charts -- Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures -- Constructing Diagrams -- The Effects of Perception of Efficacy and Diagram Construction Skills on Students' Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout Using Quadratic Programming -- Understanding Diagrams and Text -- Recognizing the Intended Message of Line Graphs -- Mapping Descriptive Models of Graph Comprehension into Requirements for a Computational Architecture: Need for Supporting Imagery Operations -- Getting a Clue: Gist Extraction from Scenes and Causal Systems -- Attention Direction in Static and Animated Diagrams -- Tactile Diagrams: Worth Ten Thousand Words? …”
SpringerLink - Click here for access

Diagrammatic representation and inference : 5th international conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008 ; proceedings by Diagrams (Conference) Herrsching am Ammersee, Germany), SpringerLink (Online service)

Contents: “…-- Visual Thinking with an Interactive Diagram -- Applications of Diagrams -- Strategy Roadmaps: New Forms, New Practices -- VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages -- Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design -- A Normal Form for Euler Diagrams with Shading -- Ensuring Generality in Euclid's Diagrammatic Arguments -- Depicting Negation in Diagrammatic Logic: Legacy and Prospects -- Diagrams in Education -- Transforming Descriptions and Diagrams to Sketches in Information System Design -- Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic -- Learning from Animated Diagrams: How Are Mental Models Built? …”
SpringerLink - Click here for access

Diagrammatic representation and inference : 4th international conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006 : proceedings by Diagrams (Conference) Stanford, Calif.), SpringerLink (Online service)

Contents: “…-- Topological Relations of Arrow Symbols in Complex Diagrams -- Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry -- Flow Diagrams: Rise and Fall of the First Software Engineering Notation -- Reasoning by Intervals -- Generalizing Spiders -- Diagrams and Education -- Diagrams in Second or Foreign Language Learning??! …”
SpringerLink - Click here for access