000 | 06182nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-540-25931-2 | ||
003 | DE-He213 | ||
005 | 20240423125852.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s2004 gw | s |||| 0|eng d | ||
020 |
_a9783540259312 _9978-3-540-25931-2 |
||
024 | 7 |
_a10.1007/b95854 _2doi |
|
050 | 4 | _aQA76.76.A65 | |
072 | 7 |
_aUB _2bicssc |
|
072 | 7 |
_aCOM005000 _2bisacsh |
|
072 | 7 |
_aUX _2thema |
|
082 | 0 | 4 |
_a005.3 _223 |
245 | 1 | 0 |
_aDiagrammatic Representation and Inference _h[electronic resource] : _bThird International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings / _cedited by Alan Blackwell, Kim Marriott, Atsushi Shimojima. |
250 | _a1st ed. 2004. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2004. |
|
300 |
_aXVI, 456 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v2980 |
|
505 | 0 | _aDiagrams 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 NewResearch 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 | _aApplication software. | |
650 | 0 | _aComputer science. | |
650 | 1 | 4 | _aComputer and Information Systems Applications. |
650 | 2 | 4 | _aComputer Science. |
700 | 1 |
_aBlackwell, Alan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aMarriott, Kim. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aShimojima, Atsushi. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540212683 |
776 | 0 | 8 |
_iPrinted edition: _z9783662191361 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v2980 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/b95854 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c182561 _d182561 |