Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings
tarafından
 
Dwyer, Tim. editor.

Başlık
Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings

Yazar
Dwyer, Tim. editor.

ISBN
9783662440438

Fiziksel Niteleme
XVIII, 311 p. 107 illus. online resource.

Seri
Lecture Notes in Computer Science, 8578

İçindekiler
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? -- Exploring the Effects of Colouring Graph Diagrams on People of Various Backgrounds -- An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams -- Neural Mechanisms of Global Reading -- The Relationship between Aristotelian and Hasse Diagrams -- A Graphical Representation of Boolean Logic -- The Barwise-Seligman Model of Representation Systems: A Philosophical Explication -- Logical and Geometrical Complementarities between Aristotelian Diagrams -- Logical Investigation of Reasoning with Tables -- A Framework for Heterogeneous Reasoning in Formal and Informal Domains -- The Second Venn Diagrammatic System -- Diagrammatically Explaining Peircean Abduction.

Özet
This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams.

Konu Başlığı
Computer science.
 
Computer science -- Mathematics.
 
User interfaces (Computer systems).
 
Artificial intelligence.
 
Computer graphics.
 
Computers and civilization.
 
User Interfaces and Human Computer Interaction.
 
Information Systems Applications (incl. Internet).
 
Computers and Society.
 
Artificial Intelligence (incl. Robotics).
 
Discrete Mathematics in Computer Science.

Yazar Ek Girişi
Dwyer, Tim.
 
Purchase, Helen.
 
Delaney, Aidan.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-662-44043-8


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book24455-1001QA76.9 .U83Springer E-Book Collection