|
|
|
|
LEADER |
05818nam a22004815i 4500 |
001 |
978-3-540-25931-2 |
003 |
DE-He213 |
005 |
20151204183538.0 |
007 |
cr nn 008mamaa |
008 |
121227s2004 gw | s |||| 0|eng d |
020 |
|
|
|a 9783540259312
|9 978-3-540-25931-2
|
024 |
7 |
|
|a 10.1007/b95854
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a QA76.76.A65
|
072 |
|
7 |
|a UB
|2 bicssc
|
072 |
|
7 |
|a COM018000
|2 bisacsh
|
082 |
0 |
4 |
|a 004
|2 23
|
245 |
1 |
0 |
|a Diagrammatic Representation and Inference
|h [electronic resource] :
|b Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings /
|c edited by Alan F. Blackwell, Kim Marriott, Atsushi Shimojima.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2004.
|
300 |
|
|
|a XVI, 456 p.
|b online resource.
|
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
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 2980
|
505 |
0 |
|
|a Diagrams in the Mind and in the World: Relations between Internal and External Visualizations -- Can Diagrams Have Epistemic Value? The Case of Euclid -- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations -- On Frege’s Logical Diagrams -- Psychological Foundations for Concept Modeling -- On Differences between the Real and Physical Plane -- Query Graphs with Cuts: Mathematical Foundations -- Towards a Default Reading for Constraint Diagrams -- Drawing Graphs in Euler Diagrams -- Diagrams and Non-monotonicity in Puzzles -- Peirce’s Diagrammatic Logic in IF Perspective -- What Can Spider Diagrams Say? -- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets -- On Extending Venn Diagram by Augmenting Names of Individuals -- Reasoning with Projected Contours -- An Architecture for Problem Solving with Diagrams -- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams -- Automated Model Transformation and Its Validation Using AToM3 and AGG -- Inter-diagrammatic Reasoning and Digital Geometry -- A Prototype Inference Engine for Rule-Based Geometric Reasoning -- Automatic Proofs for Scalecharts -- Diagram Schemas: What, Why, How -- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems -- Interpreting Imprecise Diagrams -- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing -- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics -- Individual Differences in Graphical Reasoning -- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction -- Predictors of Success in Diagrammatic Problem Solving -- Speech and Graphical Interaction in Multimodal Communication -- Generating New Research Hypotheses from a Result Diagram of Qualitative Research -- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion? -- Learning with Diagrams: Effects on Inferences and the Integration of Information -- Making TRACS: The Diagrammatic Design of a Double-Sided Deck -- A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’ -- Using Graphics to Communicate Across Cultures -- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task -- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content? -- Processing Animation: Integrating Information from Animated Diagrams -- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study -- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? -- Spatial Transformations in Graph Comprehension -- Constructing Diagrams Representing Group Motions -- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem -- Bayesian Boxes: A Colored Calculator for Picturing Posteriors -- Representing Rosters: Conceptual Integration Counteracts Visual Complexity -- Visualization Techniques for Product Change and Product Modelling in Complex Design -- Geographic Projection of Cluster Composites -- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data -- Feature Diagrams in Phonology -- Using Color Component Overlays for Result Visualization in a Classification by Sketch System -- Teaching Children Brackets by Manipulating Trees: Is Easier Harder? -- Cider: A Component-Based Toolkit for Creating Smart Diagram Environments -- Diagrammatic Spreadsheet: An Overview -- Perceptual Support of Diagram Creation and Editing -- ScanScribe: Perceptually Supported Diagram Image Editing -- An Experimental Comparison of Diagrammatic and Algebraic Logics -- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition -- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages -- Notations for Software Engineering Class Structures.
|
650 |
|
0 |
|a Computer science.
|
650 |
|
0 |
|a Application software.
|
650 |
1 |
4 |
|a Computer Science.
|
650 |
2 |
4 |
|a Computer Applications.
|
650 |
2 |
4 |
|a Computer Science, general.
|
700 |
1 |
|
|a Blackwell, Alan F.
|e editor.
|
700 |
1 |
|
|a Marriott, Kim.
|e editor.
|
700 |
1 |
|
|a Shimojima, Atsushi.
|e editor.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783540212683
|
830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 2980
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/b95854
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|