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