+612 9045 4394
Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings :  Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings - Alan Blackwell

Diagrammatic Representation and Inference : Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings

By: Alan Blackwell (Editor), Kim Marriott (Editor), Atsushi Shimojima (Editor)

Paperback Published: April 2004
ISBN: 9783540212683
Number Of Pages: 456

Share This Book:


RRP $368.99
or 4 easy payments of $63.88 with Learn more
Ships in 7 to 10 business days

This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004.The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering.

Diagrams in the mind and in the world : relations between internal and external visualizationsp. 1
Can diagrams have epistemic value? : the case of euclidp. 14
Inferential and expressive capacities of graphical representations : survey and some generalizationsp. 18
On Frege's logical diagrams?p. 22
Psychological foundations for concept modelingp. 26
On differences between the real and physical planep. 29
Query graphs with cuts : mathematical foundationsp. 32
Towards a default reading for constraint diagramsp. 51
Drawing graphs in Euler diagramsp. 66
Diagrams and non-monotonicity in puzzlesp. 82
Peirce's diagrammatic logic in IF perspectivep. 97
What can spider diagrams say?p. 112
Ensuring the drawability of extended Euler diagrams for up to 8 setsp. 128
On extending Venn diagram by augmenting names of individualsp. 142
Reasoing with projected contoursp. 147
An architecture for problem solving with diagramsp. 151
Generating readable proofs : a heuristic approach to theorem proving with spider diagramsp. 166
Automated model transformation and its validation using AToM[superscript 3] and AGGp. 182
Inter-diagrammatic reasoning and digital geometryp. 199
A prototye inference engine for rule-based geometric reasoningp. 216
Automatic proofs for scalechartsp. 227
Diagram schemas : what, why, howp. 231
Roles of diagrammatic information for the discovery of geometrical theoremsp. 235
Interpreting imprecise diagramsp. 239
Why diagrams are (sometimes) six times easier than words : benefits beyond locational indexingp. 242
Incorporating perceptual task effort into the recognition of intention in information graphicsp. 255
Individual differences in graphical reasoningp. 271
Co-ordinating conventions in graphical dialoge : effects of repetition and interactionp. 286
Predictors of success in diagrammatic problem solvingp. 301
Speech and graphical interaction in multimodal communicationp. 316
Generating new research hypotheses from a result diagram of qualitative researchp. 329
Interpreting lines in graphs : do graph users construe fictive motion?p. 333
Learning with diagrams : effects on inferences and the integration of informationp. 337
Making TRACS : the diagrammatic design of a double-sided deckp. 341
A cognitive processing perspective on student programmers' 'graphicacy'p. 344
Using graphics to communicate across culturesp. 347
The effect of knowledge-of-external-representations upon performance and representational choice in a database query taskp. 351
User-controllable animated diagrams : the solution for learning dynamic content?p. 355
Processing animation : integrating information from animated diagramsp. 360
A training program to be perceptually sensitive and conceptually productive through meta-cognition : a case studyp. 365
Can object (instance) diagrams help first year students understand program behaviour?p. 368
Spatial transformations in graph comprehensionp. 372
Constructing diagrams representing group motionsp. 376
Bar-gain boxes : an informative illustration of the pairing problemp. 379
Bayesian boxes : a colored calculator for picturing posteriorsp. 382
Representing rosters : conceptual integration counteracts visual complexityp. 385
Visualization techniques for product change and product modelling in complex designp. 388
Geographic projection of cluster compositesp. 392
Decision diagrams in machine learning : an empirical study on real-life credit-risk datap. 395
Feature diagrams in phonologyp. 398
Using color component overlays for result visualization in a classification by sketch systemp. 402
Teaching children brackets by manipulating trees : is easier harder?p. 407
CIDER : a component-based toolkit for creating smart diagram environmentsp. 415
Diagrammatic spreadsheet : an overviewp. 420
Perceptual support of diagram creation and editingp. 424
ScanScribe : perceptually supported diagram image editingp. 428
An experimental comparison of diagrammatic and algebraic logicsp. 432
Automatic generation of the behavior definition of distributed design tools from task method diagrams and method flux diagrams by diagram compositionp. 435
Selected aspects of customization of cognitive dimensions for evaluation of visual modeling languagesp. 438
Notations for software engineering class structuresp. 441
Author indexp. 447
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540212683
ISBN-10: 354021268X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 456
Published: April 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.11 x 15.49  x 3.05
Weight (kg): 0.8