Atnaujinkite slapukų nuostatas

Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings [Minkštas viršelis]

Edited by , Edited by , Edited by
  • Formatas: Paperback / softback, 358 pages, aukštis x plotis: 235x155 mm, weight: 563 g, 202 Illustrations, black and white; XIII, 358 p. 202 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Artificial Intelligence 7352
  • Išleidimo metai: 20-Jun-2012
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642312225
  • ISBN-13: 9783642312229
Kitos knygos pagal šią temą:
  • Formatas: Paperback / softback, 358 pages, aukštis x plotis: 235x155 mm, weight: 563 g, 202 Illustrations, black and white; XIII, 358 p. 202 illus., 1 Paperback / softback
  • Serija: Lecture Notes in Artificial Intelligence 7352
  • Išleidimo metai: 20-Jun-2012
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642312225
  • ISBN-13: 9783642312229
Kitos knygos pagal šią temą:
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Application of Diagrams, Diagrams 2012, held in Canaterbury, UK, in July 2012.
The 16 long papers, 6 short papers and 21 poster abstracts presented were carefully reviewed and selected from 83 submissions. The papers are organized in keynotes, tutorial, workshops, graduate student symposium and topical sections on psychological and cognitive issues, diagram layout, diagrams and data analysis, Venn and Euler diagrams, reasoning with diagrams, investigating aesthetics, applications of diagrams.
Keynote
Life on the Line: Interacting with Temporal Event Sequence Representations
1(2)
Catherine Plaisant
Tutorial
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning
3(1)
Dave Barker-Plummer
John Etchemendy
Michael Murray
Emma Pease
Nik Swoboda
Workshops
3rd International Workshop on Euler Diagrams
4(1)
Peter Chapman
Luana Micallef
Technology Enhanced Diagrams Research Workshop
5(1)
Richard Cox
Jonathan San Diego
Accessible Graphics: Graphics for Vision Impaired People
6(1)
Cagatay Goncu
Kim Marriott
Graduate Student Symposium
Graduate Student Symposium of Diagrams 2012
7(1)
Lisa A. Best
Psychological and Cognitive Issues
Automatically Recognizing Intended Messages in Grouped Bar Charts
8(15)
Richard Burns
Sandra Carberry
Stephanie Elzer
Daniel Chester
Representing Category and Continuum: Visualizing Thought
23(12)
Barbara Tversky
James E. Corter
Lixiu Yu
David L. Mason
Jeffrey V. Nickerson
Elucidating the Mechanism of Spontaneous Diagram Use in Explanations: How Cognitive Processing of Text and Diagrammatic Representations Are Influenced by Individual and Task-Related Factors
35(16)
Emmanuel Manalo
Yuri Uesaka
Diagram Layout
Orthogonal Hyperedge Routing
51(14)
Michael Wybrow
Kim Marriott
Peter J. Stuckey
Improved Layout for Data Flow Diagrams with Port Constraints
65(15)
Lars Kristian Klauske
Christoph Daniel Schulze
Miro Sponemann
Reinhard von Hanxleden
Aesthetic Layout of Wiring Diagrams
80(15)
Christian Ernstbrunner
Josef Pichler
Diagrams and Data Analysis
Points, Lines and Arrows in Statistical Graphs
95(7)
Cengiz Acarturk
Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data
102(15)
Michael Burch
Michael Raschke
Miriam Greis
Daniel Weiskopf
Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions
117(7)
Michael T. Bradley
Andrew Brand
A. Luke MacNeill
Psychological Evidence of Mental Segmentation in Table Reading
124(8)
Takeshi Sugio
Atsushi Shimojima
Yasuhiro Katagiri
Venn and Euler Diagrams
Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides
132(16)
Ryo Takemura
Euler Diagram Encodings
148(15)
Paolo Bottoni
Gennaro Costagliola
Andrew Fish
Reasoning with Diagrams
Speedith: A Diagrammatic Reasoner for Spider Diagrams
163(15)
Matej Urbas
Mateja Jamnik
Gem Stapleton
Jean Flower
Algebra Diagrams: A HANDi Introduction
178(15)
Peter C.-H. Cheng
Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions
193(7)
Hans Smessaert
Investigating Aesthetics
An Exploration of Visual Complexity
200(14)
Helen C. Purchase
Euan Freeman
John Hamer
Diagram Ecologies - Diagrams as Science and Game Board
214(19)
Christoph Lueder
Dynamic Diagrams: A Composition Alternative
233(8)
Richard Lowe
Jean-Michel Boucheix
Applications of Diagrams
Diagrammatically-Driven Formal Verification of Web-Services Composition
241(15)
Petros Papapanagiotou
Jacques Fleuriot
Sean Wilson
The Diagram of Flow: Its Departure from Software Engineering and Its Return
256(14)
S.J. Morris
O.C.Z. Gotel
DDA\Repository: An Associative, Dynamic and Incremental Repository of Design Diagrams
270(7)
Bharat Dave
Gwyllim Jahn
Structure, Space and Time: Some Ways That Diagrams Affect Inferences in a Planning Task
277(14)
David L. Mason
James E. Corter
Barbara Tversky
Jeffrey V. Nickerson
Posters
What Can Concept Diagrams Say?
291(3)
Gem Stapleton
John Howse
Peter Chapman
Ian Oliver
Aidan Delaney
CDEG: Computerized Diagrammatic Euclidean Geometry 2.0
294(3)
Nathaniel Miller
Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry
297(3)
Hossein Afshari
Kerem Seyid
Alexandre Schmid
Yusuf Leblebici
Algebraic Aspects of Duality Diagrams
300(3)
Lorenz Demey
The Use of Diagrams in Science: An Examination of Trends in Articles Published in Science between 1880 and 2010
303(3)
Lillian P. Fanjoy
A. Luke MacNeill
Lisa A. Best
A User Study on Curved Edges in Graph Visualisation
306(3)
Kai Xu
Chris Rooney
Peter Passmore
Dong-Han Ham
Truth Diagrams: An Overview
309(3)
Peter C.-H. Cheng
Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers' Predictions
312(3)
Yuri Uesaka
Emmanuel Manalo
Masanori Nakagawa
Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs
315(3)
Christopher Durugbo
Ashutosh Tiwari
Jeffrey R. Alcock
Completeness Proofs for Diagrammatic Logics
318(3)
Jim Burton
Gem Stapleton
John Howse
Modelling Information Flow: Improving Diagrammatic Visualisations
321(3)
Christopher Durugbo
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations
324(3)
Renata de Freitas
Petrucio Viana
Genetic Algorithm for Line Labeling of Diagrams Having Drawing Cues
327(3)
Alexandra Bonnici
Kenneth Camilleri
A Logical Investigation on Global Reading of Diagrams
330(4)
Ryo Takemura
Atsushi Shimojima
Yasuhiro Katagiri
Pictures Are Visually Processed; Symbols Are also Recognized
334(3)
Peter W. Coppin
How Do Viewers Spontaneously Segment Animated Diagrams of Mechanical and Biological Subject Matter?
337(3)
Jean-Michel Boucheix
Richard Lowe
Which Diagrams and When? Health Workers' Choice and Usage of Different Diagram Types for Service Improvement
340(3)
Gyuchan Thomas Jun
Cecily Morrison
Christopher O'Loughlin
P. John Clarkson
Eye Movement Patterns in Solving Scientific Graph Problems
343(3)
Miao-Hsuan Yen
Chieh-Ning Lee
Yu-Chun Yang
Formalising Simple Codecharts
346(3)
Jon Nicholson
Aidan Delaney
Notes about the London Underground Map as an Iconic Artifact
349(3)
Breno Bitarello
Pedro Ata
Joao Queiroz
The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams
352(5)
Yuri Sato
Koji Mineshima
Author Index 357