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 : 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 | ||
| ||
Diagrammatic Representation and Inference [[electronic resource] ] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan
| Diagrammatic Representation and Inference [[electronic resource] ] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 370 p.) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Mathematics Computer programming Computer science—Mathematics Artificial Intelligence Computer Applications Mathematics, general Programming Techniques Discrete Mathematics in Computer Science Information Systems Applications (incl. Internet) |
| ISBN | 3-540-46037-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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. |
| Record Nr. | UNISA-996465413003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan
| Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIV, 370 p.) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Mathematics Computer programming Computer science—Mathematics Artificial Intelligence Computer Applications Mathematics, general Programming Techniques Discrete Mathematics in Computer Science Information Systems Applications (incl. Internet) |
| ISBN | 3-540-46037-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited 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. |
| Record Nr. | UNINA-9910143909803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||