Blick ins Buch

Diagrammatic Representation and Inference

8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

Tim Dwyer, Helen Purchase, Aidan Delaney (Herausgeber)

Buch | Softcover

XVIII, 311 Seiten

2014 | 2014
Springer Berlin (Verlag)
978-3-662-44042-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

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 withTables.- A Framework for Heterogeneous Reasoning in Formal and Informal Domains.- The Second Venn Diagrammatic System.- Diagrammatically Explaining Peircean Abduction.

Erscheint lt. Verlag	4.8.2014
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XVIII, 311 p. 107 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	510 g
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Datenbanken
	Informatik ► Software Entwicklung ► User Interfaces (HCI)
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Mathematik / Informatik ► Mathematik
Schlagworte	3D visualization • cognitive science • Completeness • Computer Graphics • Graph Drawing • Human-Computer interaction • Hypergraphs • Information Visualization • Object recognition • theorem proving
ISBN-10	3-662-44042-3 / 3662440423
ISBN-13	978-3-662-44042-1 / 9783662440421
Zustand	Neuware