000 07671nam a22006735i 4500
001 978-3-540-87730-1
003 DE-He213
005 20240730185606.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540877301
_9978-3-540-87730-1
024 7 _a10.1007/978-3-540-87730-1
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aDiagrammatic Representation and Inference
_h[electronic resource] :
_b5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /
_cedited by Gem Stapleton, John Howse, John Lee.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXV, 445 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5223
505 0 _aKeynote Reflections -- Heterogeneous Reasoning -- Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity -- Model Driven Development with Mechatronic UML -- Tutorials -- Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use -- Getting Started with Sketch Tools -- Diagram Aesthetics and Layout -- General Euler Diagram Generation -- Euler Diagram Decomposition -- Smooth Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs -- Psychological and Cognitive Issues -- An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning -- What Diagrams Reveal about Representations in Linear Reasoning, and How They Help -- What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism? -- 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? -- Diagrams for theMasses: Raising Public Awareness - From Neurath to Gapminder and Google Earth -- Understanding and Comprehension -- Detection of Sample Differences from Dot Plot Displays -- Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants -- The Effects of Users' Background Diagram Knowledge and Task Characteristics upon Information Display Selection -- Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines -- Posters -- Talk to the Hand: An Agenda for Further Research on Tactile Graphics -- Openproof - A Flexible Framework for Heterogeneous Reasoning -- Cognitive and Semantic Perspectives of Token Representation in Diagrams -- Estimating Effort for Trend Messages in Grouped Bar Charts -- Types and Programs from Euler Diagrams -- Diagrams in the UK National School Curriculum -- LePUS3: An Object-Oriented Design Description Language -- Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture -- Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes -- Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs -- A Concept Mapping Tool for Nursing Education -- Cognitive Methods for Visualizing Space, Time, and Agents -- Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram -- A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically -- Supporting Relational Processing in Complex Animated Diagrams -- Animated Cladograms: Interpreting Evolution from Diagrams -- Automatic Diagram Drawing Based on Natural Language Text Understanding -- Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall -- Diagrammatic Logic of Existential Graphs: ACase Study of Commands -- Diagrammatic Reasoning in Separation Logic -- Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms -- The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition -- Using MusicXML to Evaluate Accuracy of OMR Systems -- Aestheticization of Flowcharts -- Towards Diagrammatic Patterns -- Visualizing Meaning: Literacy Materials for Dyslexic Children -- Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction -- School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving.
520 _aThis book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008. The 25 revised papers and 28 poster papers presented together with 3 keynote papers and 2 tutorial papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on diagram aesthetics and layout, psychological and cognitive issues, applications of diagrams, theoretical aspects, diagrams in education, as well as understanding and comprehension.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer programming.
_94169
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aUser interfaces (Computer systems).
_911681
650 0 _aHuman-computer interaction.
_96196
650 0 _aSocial sciences
_xData processing.
_983360
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aProgramming Techniques.
_9139946
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aUser Interfaces and Human Computer Interaction.
_931632
650 2 4 _aComputer Application in Social and Behavioral Sciences.
_931815
700 1 _aStapleton, Gem.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9139947
700 1 _aHowse, John.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9139948
700 1 _aLee, John.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9139949
710 2 _aSpringerLink (Online service)
_9139950
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540877295
776 0 8 _iPrinted edition:
_z9783540877912
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v5223
_9139951
856 4 0 _uhttps://doi.org/10.1007/978-3-540-87730-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92907
_d92907