Diagrammatic representation and inference 6th international conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010 : proceedings /

Annotation

Corporate Authors: Diagrams (Conference) Portland, Or.)
Other Authors: Diagrams (Conference), Goel, Ashok K., 1953-, Jamnik, Mateja, 1973-, Narayanan, N. Hari., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin : Springer, 2010.
Berlin : 2010.
Physical Description: 1 online resource (xiii, 356 pages) : illustrations.
Series: Lecture notes in computer science ; 6170.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. Artificial intelligence.
Subjects:
LEADER 10374cam a2201321 a 4500
001 668097789
003 OCoLC
005 20240223121953.0
006 m o d
007 cr cn|||||||||
008 101004s2010 gw a ob 101 0 eng d
015 |a 10,N26  |2 dnb 
016 7 |a 1003791417  |2 DE-101 
019 |a 651657315  |a 654200400  |a 769768457  |a 964932481  |a 1005763944  |a 1044300356  |a 1056362957  |a 1071332395  |a 1081182665  |a 1086943804  |a 1105589224 
020 |a 9783642146008 
020 |a 3642146007 
020 |z 9783642145995 
020 |z 364214599X 
024 7 |a 10.1007/978-3-642-14600-8  |2 doi 
035 |a (OCoLC)668097789  |z (OCoLC)651657315  |z (OCoLC)654200400  |z (OCoLC)769768457  |z (OCoLC)964932481  |z (OCoLC)1005763944  |z (OCoLC)1044300356  |z (OCoLC)1056362957  |z (OCoLC)1071332395  |z (OCoLC)1081182665  |z (OCoLC)1086943804  |z (OCoLC)1105589224 
037 |a 978-3-642-14599-5  |b Springer  |n http://www.springerlink.com 
040 |a GW5XE  |b eng  |e pn  |c GW5XE  |d CEF  |d OCLCQ  |d CUS  |d E7B  |d COO  |d LEAUB  |d OCLCO  |d OCLCA  |d OCLCQ  |d IAD  |d OCLCA  |d OCLCF  |d BEDGE  |d DKDLA  |d OHS  |d OCLCQ  |d OCLCO  |d NLGGC  |d YDXCP  |d OCL  |d OCLCO  |d EBLCP  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d VT2  |d SOI  |d OCLCO  |d OCLCA  |d DGU  |d OCLCO  |d SHS  |d UAB  |d ESU  |d OCLCQ  |d IOG  |d OCLCO  |d OCLCA  |d BUF  |d OCLCO  |d OCLCA  |d TFW  |d OCLCO  |d U3W  |d OCLCO  |d OCLCA  |d WYU  |d OCLCO  |d OCLCQ  |d OCLCA  |d OL$  |d OCLCQ  |d AUD  |d OCLCA  |d OCLCQ  |d OCLCA  |d OCLCQ  |d OCLCO  |d COM  |d OCLCO  |d OCL  |d OCLCQ  |d OCLCO  |d OCLCL  |d OCLCQ  |d OCLCL 
049 |a COM6 
050 4 |a QA90  |b .D53 2010 
060 4 |a QA 90 
072 7 |a UYZG  |2 bicssc 
072 7 |a COM070000  |2 bisacsh 
082 0 4 |a 518/.23  |2 22 
084 |a 54.73  |2 bcl 
084 |a 54.74  |2 bcl 
111 2 |a Diagrams (Conference)  |n (6th :  |d 2010 :  |c Portland, Or.) 
245 1 0 |a Diagrammatic representation and inference :  |b 6th international conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010 : proceedings /  |c Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan (eds.). 
246 3 0 |a Diagrams 2010. 
260 |a Berlin :  |b Springer,  |c 2010. 
264 1 |a Berlin :  |b Springer,  |c 2010. 
300 |a 1 online resource (xiii, 356 pages) :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
347 |a text file. 
347 |b PDF. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 6170.  |a Lecture notes in artificial intelligence. 
490 1 |a LNCS sublibrary. SL 7, Artificial intelligence. 
504 |a Includes bibliographical references and index. 
520 8 |a Annotation  |b This book constitutes the refereed proceedings of the 6th International Conference on Theory and Application of Diagrams, Diagrams 2010, held in Portland, OR, USA, in August 2010. The 22 revised papers and 23 poster papers presented together with 3 invited talks and 2 tutorial papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on Euler and Venn diagrams, formal aspects of diagrams, reasoning with diagrams, interacting with diagrams, constructing diagrams, and understanding diagrams and text. 
588 0 |a Print version record. 
505 0 |a Invited Talks -- Diagrams in the Mind: Visual or Spatial? -- Understanding Diagrams, and More: The Computer's View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information Visualization -- Graduate Student Symposium -- The Graduate Student Symposium of Diagrams 2010 -- Euler and Venn Diagrams -- The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings -- Drawing Euler Diagrams with Circles -- Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information -- Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons -- Formal Aspects of Diagrams -- Fragments of Spider Diagrams of Order and Their Relative Expressiveness -- A Calculus for Graphs with Complement -- Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style -- Reasoning with Diagrams -- Alternative Strategies for Spatial Reasoning with Diagrams -- Relating Two Image-Based Diagrammatic Reasoning Architectures -- A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning -- Toward a Physics of Equations -- Interacting with Diagrams -- Usability of Accessible Bar Charts -- Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures -- Constructing Diagrams -- The Effects of Perception of Efficacy and Diagram Construction Skills on Students' Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout Using Quadratic Programming -- Understanding Diagrams and Text -- Recognizing the Intended Message of Line Graphs -- Mapping Descriptive Models of Graph Comprehension into Requirements for a Computational Architecture: Need for Supporting Imagery Operations -- Getting a Clue: Gist Extraction from Scenes and Causal Systems -- Attention Direction in Static and Animated Diagrams -- Tactile Diagrams: Worth Ten Thousand Words? -- The Effects of Signals on Learning from Text and Diagrams: How Looking at Diagrams Earlier and More Frequently Improves Understanding -- An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs -- Posters -- Effects of Graph Type in the Comprehension of Cyclic Events -- VCL, a Visual Language for Modelling Software Systems Formally -- Visualizing Student Game Design Project Similarities -- Are Pixel Graphs Are Better at Representing Information than Pie Graphs? -- Thinking with Words and Sketches -- Analyzing Multi-modal Design Transcripts Along Verbal and Diagrammatic Data -- How Diagram Interaction Supports Learning: Evidence from Think Alouds during Intelligent Tutoring -- Creating a Second Order Diagrammatic Logic -- An Attention Based Theory to Explore the Cognitive Affordances of Diagrams Relative to Text -- How Does Text Affect the Processing of Diagrams in Multimedia Learning? -- An Experiment to Evaluate Constraint Diagrams with Novice Users -- "Graph-as-Picture" Misconceptions in Young Students -- What Students Include in Hand-Drawn Diagrams to Explain Seasonal Temperature Variation -- Diagrammatic Specification of Mobile Real-Time Systems -- Manipulatable Models for Investigating Processing of Dynamic Diagrams -- Can Text Content Influence the Effectiveness of Diagrams? -- Attending to and Maintaining Hierarchical Objects in Graphics Comprehension -- Modelling English Spatial Preposition Detectors -- Diagram Interpretation and e-Learning Systems -- An Examination of Cleveland and McGill's Hierarchy of Graphical Elements -- Does Manipulating Molecular Models Promote Representation Translation of Diagrams in Chemistry? -- Heterogeneous Reasoning in Real Arithmetic -- "The Molecules are Inside the Atoms": Students' Personal External Representations of Matter -- Discovering Perceptions of Personal Social Networks through Diagrams. 
650 0 |a Graphic methods  |v Congresses. 
650 0 |a Visual communication  |v Congresses. 
650 0 |a Computer graphics  |v Congresses. 
650 0 |a Artificial intelligence. 
650 2 |a Artificial Intelligence. 
650 2 |a Computer Graphics  |x methods. 
650 6 |a Méthodes graphiques  |v Congrès. 
650 6 |a Communication visuelle  |v Congrès. 
650 6 |a Infographie  |v Congrès. 
650 6 |a Intelligence artificielle. 
650 7 |a artificial intelligence.  |2 aat. 
650 7 |a Informatique.  |2 eclas. 
650 7 |a Artificial intelligence.  |2 fast. 
650 7 |a Computer graphics.  |2 fast. 
650 7 |a Graphic methods.  |2 fast. 
650 7 |a Visual communication.  |2 fast. 
650 7 |a Diagramm.  |2 gnd. 
650 7 |a Wissensrepräsentation.  |2 gnd. 
650 7 |a Mensch-Maschine-Kommunikation.  |2 gnd. 
650 7 |a Kognitionswissenschaft.  |2 gnd. 
650 7 |a Visuelle Kommunikation.  |2 gnd. 
650 7 |a Visualisierung.  |2 gnd. 
650 7 |a Computergrafik.  |2 gnd. 
650 7 |a Benutzeroberfläche.  |2 gnd. 
650 7 |a Kognitiver Prozess.  |2 gnd. 
650 7 |a Diagrammatisches Schliessen.  |2 swd. 
655 2 |a Congress. 
655 7 |a proceedings (reports)  |2 aat. 
655 7 |a Conference papers and proceedings.  |2 fast. 
655 7 |a Conference papers and proceedings.  |2 lcgft. 
655 7 |a Actes de congrès.  |2 rvmgf. 
700 1 |a Goel, Ashok K.,  |d 1953-  |1 https://id.oclc.org/worldcat/entity/E39PCjBHDkKkbtQmtv67qVfT9C. 
700 1 |a Jamnik, Mateja,  |d 1973-  |1 https://id.oclc.org/worldcat/entity/E39PCjG8tjjtD64CMVPDBQqjkC. 
700 1 |a Narayanan, N. Hari. 
710 2 |a SpringerLink (Online service) 
776 0 8 |i Print version:  |a Diagrams 2010 (2010 : Portland, Or.).  |t Diagrammatic representation and inference.  |d Berlin : Springer, 2010  |z 9783642146008  |z 3642146007. 
830 0 |a Lecture notes in computer science ;  |v 6170.  |x 0302-9743. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
830 0 |a LNCS sublibrary.  |n SL 7,  |p Artificial intelligence. 
907 |a .b30410344  |b multi  |c -  |d 101015  |e 240320 
998 |a (3)cue  |a cu  |b 240227  |c m  |d z   |e -  |f eng  |g gw   |h 0  |i 2 
948 |a MARCIVE Overnight, in 2024.03 
948 |a MARCIVE Comp, in 2022.12 
948 |a MARCIVE Over, 07/2021 
948 |a MARCIVE Comp, 2018.12 
948 |a MARCIVE Comp, 2018.05 
948 |a MARCIVE Comp, 2017.10 
948 |a MARCIVE August, 2017 
948 |a MARCIVE extract Aug 5, 2017 
994 |a 92  |b COM 
995 |a Loaded with m2btab.ltiac in 2024.03 
995 |a Loaded with m2btab.elec in 2024.02 
995 |a Loaded with m2btab.ltiac in 2022.12 
995 |a Loaded with m2btab.ltiac in 2021.07 
995 |a Loaded with m2btab.elec in 2021.06 
995 |a Loaded with m2btab.ltiac in 2018.12 
995 |a Loaded with m2btab.ltiac in 2018.06 
995 |a Loaded with m2btab.ltiac in 2017.10 
995 |a Loaded with m2btab.ltiac in 2017.08 
995 |a Loaded with m2btab.elec in 2016 
995 |a Loaded with m2btab.elec in 2016 
995 |a Loaded with m2btab.ltiac in 2016 
995 |a OCLC offline update by CMU 
999 |e z 
999 |a cue 
989 |d cueme  |e  - -   |f  - -   |g -   |h 0  |i 0  |j 200  |k 240227  |l $0.00  |m    |n  - -   |o -  |p 0  |q 0  |t 0  |x 0  |w SpringerLink  |1 .i150259463  |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-14600-8  |3 SpringerLink  |z Click here for access