000 05896nam a22005655i 4500
001 978-3-540-46037-4
003 DE-He213
005 20160624102011.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540460374
_9978-3-540-46037-4
024 7 _a10.1007/3-540-46037-3
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 0 _aDiagrammatic Representation and Inference
_h[electronic resource] :
_bSecond International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings /
_cedited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2002.
300 _aXIV, 370 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 Computer Science,
_x0302-9743 ;
_v2317
505 0 _aInvited Talk -- What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications -- Understanding and Communicating with Diagrams -- Movement Conceptualizations in Graphical Communication -- Toward a Model of Knowledge-Based Graph Comprehension -- Learning on Paper: Diagrams and Discovery in Game Playing -- Diagrams in Mathematics -- Using Animation in Diagrammatic Theorem Proving -- Generating Euler Diagrams -- Corresponding Regions in Euler Diagrams -- Computational Aspects of Diagrammatic Representation and Reasoning -- CDEG: Computerized Diagrammatic Euclidean Geometry -- Compositional Semantics for Diagrams Using Constrained Objects -- Retrieving 2-D Line Drawings by Example -- A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas -- An Environment for Conducting and Analysing Graphical Communication Experiments -- Grammar-Based Layout for a Visual Programming Language Generation System -- Heterogeneous Data Querying in a Diagrammatic Information System -- Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML -- Logic and Diagrams -- The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations -- Modeling Heterogeneous Systems -- On Diagram Tokens and Types -- Diagrams in Human-Computer Interaction -- Effects of Navigation and Position on Task When Presenting Diagrams to Blind People uUsing Sound -- A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine -- Diagrammatic Integration of Abstract Operations into Software Work Contexts -- Tracing the Processes of Diagrammatic Reasoning -- Extracting Explicit and Implict Information from Complex Visualizations -- Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer -- Guiding Attention Produces Inferences in Diagram-Based Problem Solving -- Visualizing Information with Diagrams -- ViCo: A Metric for the Complexity of Information Visualizations -- Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams -- Using Brightness and Saturation to Visualize Belief and Uncertainty -- Diagrams in Software Engineering -- Structure, Abstraction, and Direct Manipulation in Diagram Editors -- On the Definition of Visual Languages and Their Editors -- Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment -- Cognitive Aspects of Diagrammatic Representation and Reasoning -- The Learnability of Diagram Semantics -- Understanding Simultaneity and Causality in Static Diagrams versus Animation -- External Representations Contribute to the Dynamic Construction of Ideas -- One Small Step for a Diagram, One Giant Leap for Meaning -- Understanding Static and Dynamic Visualizations -- Teaching Science Teachers Electricity Using AVOW Diagrams -- Conceptual Diagrams: Representing Ideas in Design -- A Survey of Drawing in Cross-Linguistic Communication -- Invited Talk -- Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces.
520 _aThis book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002. The 21 revised full papers and 19 posters presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on understanding and communicating with diagrams, diagrams in mathematics, computational aspects of diagrammatic representation and reasoning, logic and diagrams, diagrams in human-computer interaction, tracing the process of diagrammatic reasoning, visualizing information with diagrams, diagrams and software engineering, and cognitive aspects.
650 0 _aComputer science.
650 0 _aComputational complexity.
650 0 _aInformation systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Techniques.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aInformation Systems Applications (incl.Internet).
700 1 _aHegarty, Mary.
_eeditor.
700 1 _aMeyer, Bernd.
_eeditor.
700 1 _aNarayanan, N. Hari.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540435617
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2317
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-46037-3
942 _2EBK5675
_cEBK
999 _c34969
_d34969