Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Diagrammatic Representation and Inference [[electronic resource] ] : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / / edited by Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
| Diagrammatic Representation and Inference [[electronic resource] ] : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / / edited by Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 301 p. 165 illus., 57 illus. in color.) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
User interfaces (Computer systems)
Application software Computer graphics Computers and civilization Artificial intelligence Computer science—Mathematics User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computer Graphics Computers and Society Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-42333-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465705903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / / edited by Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
| Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / / edited by Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 301 p. 165 illus., 57 illus. in color.) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
User interfaces (Computer systems)
Application software Computer graphics Computers and civilization Artificial intelligence Computer science—Mathematics User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computer Graphics Computers and Society Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-42333-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484499603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Diagrammatic Representation and Inference [[electronic resource] ] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / / edited by Ashok K Goel, Mateja Jamnik, N Hari Narayanan
| Diagrammatic Representation and Inference [[electronic resource] ] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings / / edited by Ashok K Goel, Mateja Jamnik, N Hari Narayanan |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 356 p. 46 illus.) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Computer communication systems Computers and civilization Data mining Computer science—Mathematics User Interfaces and Human Computer Interaction Artificial Intelligence Computer Communication Networks Computers and Society Data Mining and Knowledge Discovery Discrete Mathematics in Computer Science |
| ISBN | 3-642-14600-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466425803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Diagrammatic representation and inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010 : proceedings / / Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan, (eds.)
| Diagrammatic representation and inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010 : proceedings / / Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan, (eds.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIII, 356 p. 46 illus.) |
| Disciplina | 006.6 |
| Altri autori (Persone) |
GoelAshok K
JamnikMateja NarayananN. Hari |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
| Soggetto topico |
Graphic methods
Visual communication Computer graphics |
| ISBN | 3-642-14600-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910482999503321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||