LEADER 07157nam 22008055 450 001 9910143909803321 005 20230822161858.0 010 $a3-540-46037-3 024 7 $a10.1007/3-540-46037-3 035 $a(CKB)1000000000211713 035 $a(SSID)ssj0000322567 035 $a(PQKBManifestationID)11247832 035 $a(PQKBTitleCode)TC0000322567 035 $a(PQKBWorkID)10289251 035 $a(PQKB)11729445 035 $a(DE-He213)978-3-540-46037-4 035 $a(MiAaPQ)EBC3072756 035 $a(PPN)155196367 035 $a(EXLCZ)991000000000211713 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDiagrammatic Representation and Inference $eSecond International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings /$fedited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XIV, 370 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2317 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43561-1 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $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 Implicit 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. 330 $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. 410 0$aLecture Notes in Artificial Intelligence ;$v2317 606 $aArtificial intelligence 606 $aApplication software 606 $aMathematics 606 $aComputer programming 606 $aComputer science?Mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aMathematics. 615 0$aComputer programming. 615 0$aComputer science?Mathematics. 615 14$aArtificial Intelligence. 615 24$aComputer Applications. 615 24$aMathematics, general. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aInformation Systems Applications (incl. Internet). 676 $a006.6 702 $aHegarty$b Mary$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeyer$b Bernd$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNarayanan$b N. Hari$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aDiagrams 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143909803321 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNINA