图解表示与推理:第4届国际会议/会议录/Diagrammatic Representation and Inference

分类: 图书,进口原版书,科学与技术 Science & Techology ,
作者: Dave Barker-Plummer著
出 版 社: 湖北辞书出版社
出版时间: 2006-12-1字数:版次: 1页数: 300印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540356233包装: 平装编辑推荐
The LNAI series reports state-of-the-art results in artificial intelligence re-search, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available.
The scope of LNAI spans the whole range of artificial intelligence and intelli- gent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
proceedings (published in time for the respective conference);
post-proceedings (consisting of thoroughly revised final full papers);
research monographs (which may be based on PhD work).
内容简介
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Application of Diagrams, Diagrams 2006, held in Stanford, CA, USA in June 2006.
The 13 revised full papers, 9 revised short papers, and 12 extended abstracts presented together with 2 keynote papers and 2 tutorial papers were carefully reviewed and selected from about 80 submissions. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, as well as psychological issues in comprehension, production and communication.
目录
Keynote Presentations
The hnportance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative Case
Learning by Producing Diagrams
Tutorials
Eye Fixations and Diagrammatic Reasoning
Cross-Cultural User-Experience Design
Diagram Comprehension by Humans and Machines
Communicative Signals as the Key to Automated Understanding of Simple Bar Charts
On Line Elaboration of a Mental Model During the Understanding of an Animation
From Diagrams to Models by Analogical Transfer
Notations: History Design and Formalization
The Mathematics of Boundaries: A Beginning
Syntactic Variety in Boundary Logic
Fixing Shin's Reading Algorithm for Peirce's Existential Graphs
Canonical Correlation Analysis Representing Multiple Patterns Use of Composite Heliographs for
Modularity and Composition in Propositional Statecharts
Objects and Spaces: The Visual Language of Graphics
Defining Euler Diagrams: Simple or What'?
Topological Relations of Arrow Symbols in Complex Diagrams
Extended Abstract of Euclid and His Twentieth Century Rivals
Diagrams in the Logic of Euclidean Geometry
Flow Diagrams: Rise and Fall of the First Software Engineering Notation
Reasoning by Intervals
Generalizing Spiders
Diagrams and Education
Diagrams in Second or Foreign Language Learning??
Evaluation of ERST An External Representation Selection Tutor
Changing Perceptions of Animated Diagrams
……
Psychological Issues in Comprehension,Production and Communication
Author Index