Diagrammatic Representation and Inference (Record no. 32491)

000 -LEADER
fixed length control field 05772nam a22004575i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540259312
-- 978-3-540-25931-2
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
245 10 - TITLE STATEMENT
Title Diagrammatic Representation and Inference
Sub Title Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings /
Statement of responsibility, etc edited by Alan F. Blackwell, Kim Marriott, Atsushi Shimojima.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2004.
300 ## - PHYSICAL DESCRIPTION
Number of Pages XVI, 456 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science, general.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Blackwell, Alan F.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Marriott, Kim.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Shimojima, Atsushi.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/b95854
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2004.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK3197 http://dx.doi.org/10.1007/b95854 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha