Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings /

Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / Diagrams 2012 Philip Cox, Beryl Plimmer, Peter Rodgers (eds.). - Berlin ; New York : Springer, ©2012. - 1 online resource (xiii, 358 pages) : illustrations - Lecture notes in computer science, Lecture notes in artificial intelligence 7352. 1611-3349 ; LNCS sublibrary. SL 7, Artificial intelligence Serienbezeichnung . - Lecture notes in computer science ; 7352. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. .

Includes bibliographical references and author index.

Life on the Line: Interacting with Temporal Event Sequence Representations / Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning / 3rd International Workshop on Euler Diagrams / Technology Enhanced Diagrams Research Workshop / Accessible Graphics: Graphics for Vision Impaired People / Graduate Student Symposium of Diagrams 2012 / Automatically Recognizing Intended Messages in Grouped Bar Charts / Representing Category and Continuum: Visualizing Thought / 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 / Orthogonal Hyperedge Routing / Improved Layout for Data Flow Diagrams with Port Constraints / Aesthetic Layout of Wiring Diagrams / Points, Lines and Arrows in Statistical Graphs / Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data / Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions / Psychological Evidence of Mental Segmentation in Table Reading / Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides / Euler Diagram Encodings / Speedith: A Diagrammatic Reasoner for Spider Diagrams / Algebra Diagrams: A HANDi Introduction / Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions / An Exploration of Visual Complexity / Diagram Ecologies -- Diagrams as Science and Game Board / Dynamic Diagrams: A Composition Alternative / Diagrammatically-Driven Formal Verification of Web-Services Composition / The Diagram of Flow: Its Departure from Software Engineering and Its Return / DDA\Repository: An Associative, Dynamic and Incremental Repository of Design Diagrams / Structure, Space and Time: Some Ways That Diagrams Affect Inferences in a Planning Task / What Can Concept Diagrams Say? / CDEG: Computerized Diagrammatic Euclidean Geometry 2.0 / Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry / Algebraic Aspects of Duality Diagrams / The Use of Diagrams in Science / A User Study on Curved Edges in Graph Visualisation / Truth Diagrams: An Overview / Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers' Predictions / Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs / Completeness Proofs for Diagrammatic Logics / Modelling Information Flow: Improving Diagrammatic Visualisations / A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations / Genetic Algorithm for Line Labeling of Diagrams Having Drawing Cues / A Logical Investigation on Global Reading of Diagrams / Pictures Are Visually Processed; Symbols Are also Recognized / How Do Viewers Spontaneously Segment Animated Diagrams of Mechanical and Biological Subject Matter? / Which Diagrams and When? / Eye Movement Patterns in Solving Scientific Graph Problems / Formalising Simple Codecharts / Notes about the London Underground Map as an Iconic Artifact / The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams / Catherine Plaisant -- Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease and Nik Swoboda -- Peter Chapman and Luana Micallef -- Richard Cox and Jonathan San Diego -- Cagatay Goncu and Kim Marriott -- Lisa A. Best -- Richard Burns, Sandra Carberry, Stephanie Elzer and Daniel Chester -- Barbara Tversky, James E. Corter, Lixiu Yu, David L. Mason and Jeffrey V. Nickerson -- Emmanuel Manalo and Yuri Uesaka -- Michael Wybrow, Kim Marriott and Peter J. Stuckey -- Lars Kristian Klauske, Christoph Daniel Schulze, Miro Spönemann and Reinhard von Hanxleden -- Christian Ernstbrunner and Josef Pichler -- Cengiz Acartürk -- Michael Burch, Michael Raschke, Miriam Greis and Daniel Weiskopf -- Michael T. Bradley, Andrew Brand and A. Luke MacNeill -- Takeshi Sugio, Atsushi Shimojima and Yasuhiro Katagiri -- Ryo Takemura -- Paolo Bottoni, Gennaro Costagliola and Andrew Fish -- Matej Urbas, Mateja Jamnik, Gem Stapleton and Jean Flower -- Peter C.-H. Cheng -- Hans Smessaert -- Helen C. Purchase, Euan Freeman and John Hamer -- Christoph Lueder -- Richard Lowe and Jean-Michel Boucheix -- Petros Papapanagiotou, Jacques Fleuriot and Sean Wilson -- S.J. Morris and O.C.Z. Gotel -- Bharat Dave and Gwyllim Jahn -- David L. Mason, James E. Corter, Barbara Tversky and Jeffrey V. Nickerson -- Gem Stapleton, John Howse, Peter Chapman, Ian Oliver and Aidan Delaney -- Nathaniel Miller -- Hossein Afshari, Kerem Seyid, Alexandre Schmid and Yusuf Leblebici -- Lorenz Demey -- An Examination of Trends in Articles Published in Science between 1880 and 2010 / Lillian P. Fanjoy, A. Luke MacNeill and Lisa A. Best -- Kai Xu, Chris Rooney, Peter Passmore and Dong-Han Ham -- Peter C.-H. Cheng -- Yuri Uesaka, Emmanuel Manalo and Masanori Nakagawa -- Christopher Durugbo, Ashutosh Tiwari and Jeffrey R. Alcock -- Jim Burton, Gem Stapleton and John Howse -- Christopher Durugbo -- Renata de Freitas and Petrucio Viana -- Alexandra Bonnici and Kenneth Camilleri -- Ryo Takemura, Atsushi Shimojima and Yasuhiro Katagiri -- Peter W. Coppin -- Jean-Michel Boucheix and Richard Lowe -- Health Workers' Choice and Usage of Different Diagram Types for Service Improvement / Gyuchan Thomas Jun, Cecily Morrison, Christopher O'Loughlin and P. John Clarkson -- Miao-Hsuan Yen, Chieh-Ning Lee and Yu-Chun Yang -- Jon Nicholson and Aidan Delaney -- Breno Bitarello, Pedro Atã and João Queiroz -- Yuri Sato and Koji Mineshima.

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

9783642312236 3642312233 3642312225 9783642312229


Computer graphics--Congresses.
Computer simulation--Congresses.
Graphic methods--Congresses.
Computer graphics.
Computer simulation.
Graphic methods.

Computer science. Computational complexity. Artificial intelligence. Computer graphics. User Interfaces and Human Computer Interaction. Information Systems Applications (incl. Internet) Computers and Society. Discrete Mathematics in Computer Science. computerwetenschappen computer sciences man-machine interaction computers gebruikersinterfaces user interfaces wiskunde mathematics informatiesystemen information systems internet kunstmatige intelligentie samenleving society computergrafie Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)

Electronic books.
Conference papers and proceedings.

T385 / .D53 2012


Powered by Koha