Theory and application of diagrams : first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1 3, 2000 : proceedings
Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in huma...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , , |
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| סדרה: | Lecture notes in computer science. Lecture notes in artificial intelligence
1889 |
| נושאים: | |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Theory and application of diagrams, first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000, proceedings, Michael Anderson, Peter Cheng, Volker Haarslev (eds.), 2000, New York, Springer, 1 vol. (XII-504 p.), Lecture notes in computer science, 3-540-67915-4 • Theory and Application of Diagrams, Texte imprimé, 9783662164587 |
| LEADER | 07825nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 972055 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155217666 | ||
| 020 | |a 9783540445906 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Diagrams 2000 |n (01 |d :2000 |c :Edimbourg, Ecosse). | |
| 245 | 1 | 0 | |a Theory and application of diagrams : |b first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1 3, 2000 : proceedings |c [edited by] Michael Anderson, Peter Cheng, Volker Haarslev. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1889 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Talks -- Invited Talk: Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective -- Invited Talk: Jon Barwise: A Heterogeneous Appreciation -- Tutorial 1 - Formal Approaches to Diagrams -- Tutorial 1: Formal Approaches to Visual Language Specification and Understanding -- Tutorial 2 - Cognitive Approach to Diagrams -- Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery -- Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph -- Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks -- Logic and Diagrams -- Positive Semantics of Projections in Venn-Euler Diagrams -- On the Completeness and Expressiveness of Spider Diagram Systems -- Non-standard Logics for Diagram Interpretation -- Reviving the Iconicity of Beta Graphs -- Constraint Matching for Diagram Design: Qualitative Visual Languages -- Picking Knots from Trees -- Theoretical Concerns about Diagrams -- Differentiating Diagrams: A New Approach -- Logical Systems and Formality -- Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems -- Cognition and Diagrams -- How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm -- Restricted Focus Viewer: A Tool for Tracking Visual Attention -- Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? -- Capacity Limits in Diagrammatic Reasoning -- Human Communication with Diagrams -- Recording the Future: Some Diagrammatic Aspects of Time Management -- Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures -- Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes -- A Comparison of Graphics and Speech in a Task-Oriented Interaction -- Diagramming Aesthetics: Modernism and Architecture in the 21st Century -- Diagrammatic Reasoning/Proof Systems -- JVenn: A Visual Reasoning System with Diagrams and Sentences -- A Proposal for Automating Diagrammatic Reasoning in Continuous Domains -- Playing with Diagrams -- The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams -- Diagrams for Systems, Systems for Diagrams -- Treatment of Diagrams in Document Image Analysis -- Universal Arrow Foundations for Visual Modeling -- Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language -- Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software -- Executing Diagram Sequences -- MetaBuilder: The Diagrammer s Diagrammer -- Diagrammatic Control of Diagrammatic Structure Generation -- Two-Dimensional Positioning as Visual Thinking -- Reordering the Reorderable Matrix as an Algorithmic Problem -- Posters -- Clouds: A Module for Automatic Learning of Concept Maps -- A Diagrammatic Notation for Interval Algebra -- Animation of Diagrams: An Aid to Learning? -- Diagrams as Components of Multimedia Discourse: A Semiotic Approach -- Formalising the Essence of Diagrammatic Syntax -- Using Grids in Maps -- Case Analysis in Euclidean Geometry: An Overview -- Bar Charts Recognition Using Hough Based Syntactic Segmentation -- Experimenting with Aesthetics-Based Graph Layout. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in human communication and by the increasing availability of graphical environments in computerized work, the study of diagrammatic notations is emerging as a research ?eld in its own right. This development has simultaneously taken place in several scienti?c disciplines, including, amongst others: cognitive science, arti?cial intelligence, and computer science. Consequently, a number of di?erent workshop series on this topic have been successfully organized during the last few years: Thinking with Diagrams, Theory of Visual Languages, Reasoning with Diagrammatic Representations, and Formalizing Reasoning with Visual and Diagrammatic Representations. Diagrams are simultaneously complex cognitive phenonema and sophis- cated computational artifacts. So, to be successful and relevant the study of diagrams must as a whole be interdisciplinary in nature. Thus, the workshop series mentioned above decided to merge into Diagrams 2000, as the single - terdisciplinary conference for this exciting new ?eld. It is intended that Diagrams 2000 should become the premier international conference series in this area and provide a forum with su?cient breadth of scope to encompass researchers from all academic areas who are studying the nature of diagrammatic representations and their use by humans and in machines. | ||
| 650 | |a Informatique | ||
| 650 | |a Infographie | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Méthodes graphiques | ||
| 650 | |a Interfaces utilisateur (informatique) | ||
| 650 | |a Communication visuelle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Anderson, Michael, |d 1951-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Cheng, Peter, |d 1963- |4 pbd | |
| 700 | 1 | |a Haarslev, Volker, |d 1955- |4 pbd | |
| 776 | 0 | |0 052245144 |t Theory and application of diagrams |o first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 2000 |o proceedings |f Michael Anderson, Peter Cheng, Volker Haarslev (eds.) |d 2000 |c New York |n Springer |p 1 vol. (XII-504 p.) |s Lecture notes in computer science |z 3-540-67915-4 | |
| 776 | 0 | |t Theory and Application of Diagrams |b Texte imprimé |z 9783662164587 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44590-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4L6FRQTN-Q |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750645709 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44590-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753996693 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44590-0 |z Accès INSA CVL | |
| 997 | |0 972055 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||