Diagrammatic Representation and Inference - neues Buch

EAN (ISBN-13): 9783540259312
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-01-23T16:12:40+01:00 (Zurich)
Detailseite zuletzt geändert am 2022-02-10T01:45:35+01:00 (Zurich)
ISBN/EAN: 9783540259312

ISBN - alternative Schreibweisen:
978-3-540-25931-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: blackwell, atsushi shimojima

---

Daten vom Verlag:

Autor/in: Alan Blackwell; Kim Marriott; Atsushi Shimojima
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Diagrammatic Representation and Inference - Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings
Verlag: Springer; Springer Berlin
456 Seiten
Erscheinungsjahr: 2004-07-16
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 456 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Angewandte Informatik; Verstehen; Animation; Editing; HCI; Performance; Processing; complexity; conceptual graphs; diagram semantics; diagrammatic communication; graphical representation; logic; theorem proving; visual languages; visual programming; visualization; C; Computer and Information Systems Applications; Computer Science; Computer Science; Informatik; BC

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 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.