Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Keith McGreggor, Ashok K. Goel 0001	Bistable Perception and Fractal Reasoning.	Diagrams	2016	DBLP DOI BibTeX RDF
25	Emmanuel Manalo, Yuri Uesaka	Hint, Instruction, and Practice: The Necessary Components for Promoting Spontaneous Diagram Use in Students' Written Work?	Diagrams	2016	DBLP DOI BibTeX RDF
25	Gem Stapleton, Mateja Jamnik, Atsushi Shimojima	Effective Representation of Information: Generalizing Free Rides.	Diagrams	2016	DBLP DOI BibTeX RDF
25	Tim Dwyer, Helen C. Purchase, Aidan J. Delaney (eds.)	Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings	Diagrams	2014	DBLP DOI BibTeX RDF
25	Michael Burch, Daniel Weiskopf	Tennis Plots: Game, Set, and Match.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Beáta Bojda, Katalin Bubnó, Benedek Nagy, Viktor Takács	A Graphical Representation of Boolean Logic.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Renata P. de Freitas, Petrucio Viana	The Second Venn Diagrammatic System.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Flavio Zelazek	Diagrammatically Explaining Peircean Abduction.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri	Logical Investigation of Reasoning with Tables.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Miro Spönemann, Björn Duderstadt, Reinhard von Hanxleden	Evolutionary Meta Layout of Graphs.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Takeshi Sugio	Neural Mechanisms of Global Reading.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Kim Marriott, Peter J. Stuckey, Michael Wybrow	Seeing Around Corners: Fast Orthogonal Connector Routing.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Atsushi Shimojima, Dave Barker-Plummer	The Barwise-Seligman Model of Representation Systems: A Philosophical Explication.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Matej Urbas, Mateja Jamnik	A Framework for Heterogeneous Reasoning in Formal and Informal Domains.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Richard Cox	Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals?	Diagrams	2014	DBLP DOI BibTeX RDF
25	Peter Chapman, Gem Stapleton, Peter Rodgers 0001, Luana Micallef, Andrew Blake 0002	Visualizing Sets: An Empirical Comparison of Diagram Types.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Steve Kieffer	Argument Mapping for Mathematics in Proofscape.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Benedek Nagy	Graphical Representations of Context-Free Languages.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Miro Spönemann, Christoph Daniel Schulze, Ulf Rüegg, Reinhard von Hanxleden	Counting Crossings for Layered Hypergraphs.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Dave Barker-Plummer, Nik Swoboda, Michael D. Murray	An Example HyperVenn Proof.	Diagrams	2014	DBLP DOI BibTeX RDF
25	Ruggero Pagnan	A Diagrammatic Calculus of Syllogisms.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Zach Weber	Figures, Formulae, and Functors.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Jørgen Fischer Nilsson	Diagrammatic Reasoning with Classes and Relationships.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Catherine Legg	What is a Logical Diagram?	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Amirouche Moktefi	Beyond Syllogisms: Carroll's (Marked) Quadriliteral Diagram.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Ferdinando Cavaliere	A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
25	Peter Chapman, Luana Micallef (eds.)	Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, July 2, 2012	ED@Diagrams	2012	DBLP BibTeX RDF
25	Philip T. Cox, Beryl Plimmer, Peter J. Rodgers (eds.)	Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings	Diagrams	2012	DBLP DOI BibTeX RDF
25	Jim Burton 0001, Gem Stapleton, John Howse	Completeness Proof Strategies for Euler Diagram Logics.	ED@Diagrams	2012	DBLP BibTeX RDF
25	Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano	FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities.	ED@Diagrams	2012	DBLP BibTeX RDF
25	Tim Dwyer	Developing a Visual Code-dependency Analysis Tool for the Visual Studio IDE: Research Meets Practice in Showing Containment in an Interactive Diagramming Tool.	ED@Diagrams	2012	DBLP BibTeX RDF
25	Jim Burton 0001, Peter Coppin	Understanding and Predicting the Affordances of Visual Logics.	ED@Diagrams	2012	DBLP BibTeX RDF
25	Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson	Diagrammatically-Driven Formal Verification of Web-Services Composition.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Catherine Plaisant	Life on the Line: Interacting with Temporal Event Sequence Representations.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Cagatay Goncu, Kim Marriott	Accessible Graphics: Graphics for Vision Impaired People.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Breno Bitarello, Pedro Atã, João Queiroz	Notes about the London Underground Map as an Iconic Artifact.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Takeshi Sugio, Atsushi Shimojima, Yasuhiro Katagiri	Psychological Evidence of Mental Segmentation in Table Reading.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Cengiz Acartürk	Points, Lines and Arrows in Statistical Graphs.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Stephen J. Morris, O. C. Z. Gotel	The Diagram of Flow: Its Departure from Software Engineering and Its Return.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Richard Burns, Sandra Carberry, Stephanie Elzer, Daniel Chester	Automatically Recognizing Intended Messages in Grouped Bar Charts.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Hossein Afshari, Kerem Seyid, Alexandre Schmid, Yusuf Leblebici	Design and Implementation of Multi-camera Systems Distributed over a Spherical Geometry.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Michael Burch, Michael Raschke, Miriam Greis, Daniel Weiskopf	Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative, Categorical, Relational, and Time-Series Data.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Emmanuel Manalo, Yuri Uesaka	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.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Kai Xu 0003, Chris Rooney, Peter J. Passmore, Dong-Han Ham	A User Study on Curved Edges in Graph Visualisation.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Michael Wybrow, Kim Marriott, Peter J. Stuckey	Orthogonal Hyperedge Routing.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Christopher Durugbo, Ashutosh Tiwari, Jeffrey R. Alcock	Modelling Delivery Information Flow: A Comparative Analysis of DSMs, DFDs and ICDs.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Jim Burton 0001, Gem Stapleton, John Howse	Completeness Proofs for Diagrammatic Logics.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Miao-Hsuan Yen, Chieh-Ning Lee, Yu-Chun Yang	Eye Movement Patterns in Solving Scientific Graph Problems.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Michael T. Bradley, Andrew Brand, A. Luke MacNeill	Interpreting Effect Size Estimates through Graphic Analysis of Raw Data Distributions.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Hans Smessaert	Boolean Differences between Two Hexagonal Extensions of the Logical Square of Oppositions.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Yuri Uesaka, Emmanuel Manalo, Masanori Nakagawa	Are Teachers Aware of Students' Lack of Spontaneity in Diagram Use? Suggestions from a Mathematical Model-Based Analysis of Teachers' Predictions.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Christopher Durugbo	Modelling Information Flow: Improving Diagrammatic Visualisations.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda	Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Peter Coppin	Pictures Are Visually Processed; Symbols Are also Recognized.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Jon Nicholson, Aidan J. Delaney	Formalising Simple Codecharts.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Renata P. de Freitas, Petrucio Viana	A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Helen C. Purchase, Euan Freeman, John Hamer	An Exploration of Visual Complexity.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Nathaniel Miller	CDEG: Computerized Diagrammatic Euclidean Geometry 2.0.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Paolo Bottoni, Gennaro Costagliola, Andrew Fish	Euler Diagram Encodings.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Barbara Tversky, James E. Corter, Lixiu Yu, David L. Mason, Jeffrey V. Nickerson	Representing Category and Continuum: Visualizing Thought.	Diagrams	2012	DBLP DOI BibTeX RDF
25	Ashok K. Goel 0001, Mateja Jamnik, N. Hari Narayanan (eds.)	Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings	Diagrams	2010	DBLP DOI BibTeX RDF
25	Kirsten R. Butcher	How Diagram Interaction Supports Learning: Evidence from Think Alouds during Intelligent Tutoring.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Sven Linker	Diagrammatic Specification of Mobile Real-Time Systems.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Peter Coppin, Jim Burton 0001, Stephen Hockema	An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Matej Urbas, Mateja Jamnik	Heterogeneous Reasoning in Real Arithmetic.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Nuno Amálio, Pierre Kelsen	VCL, a Visual Language for Modelling Software Systems Formally.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Martin Brösamle, Christoph Hölscher	Thinking with Words and Sketches - Analyzing Multi-modal Design Transcripts Along Verbal and Diagrammatic Data.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Neil Smith, Pete G. Thomas, Kevin G. Waugh	Diagram Interpretation and e-Learning Systems.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Tim Dwyer, Kim Marriott, Peter Sbarski	Hi-tree Layout Using Quadratic Programming.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Peng Wu 0003, Sandra Carberry, Stephanie Elzer, Daniel Chester	Recognizing the Intended Message of Line Graphs.	Diagrams	2010	DBLP DOI BibTeX RDF
25	David Landy	Toward a Physics of Equations.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Özge Alaçam, Annette Hohenberger, Kürsat Çagiltay	Effects of Graph Type in the Comprehension of Cyclic Events.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Cagatay Goncu, Kim Marriott, John Hurst	Usability of Accessible Bar Charts.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Mathias Frisch, Jens Heydekorn, Raimund Dachselt	Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Koji Mineshima, Mitsuhiro Okada, Ryo Takemura	Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana	A Calculus for Graphs with Complement.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Connor Smith, Allen Cybulskie, Nic Di Noia, Janine Fitzpatrick, Jobina Li, Korey MacDougall, Xander Miller, Jeanne-Marie Musca, Jennifer Nutall, Kathy Van Bentham, Jim Davies	Modelling English Spatial Preposition Detectors.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Brandie M. Stewart, Lisa A. Best	An Examination of Cleveland and McGill's Hierarchy of Graphical Elements.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Peter Chapman, Gem Stapleton	Creating a Second Order Diagrammatic Logic.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Michael Anderson 0001, George W. Furnas	Relating Two Image-Based Diagrammatic Reasoning Architectures.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Ashok R. Basawapatna, Alexander Repenning	Visualizing Student Game Design Project Similarities.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Jessica K. Weller, Mary B. Nakhleh	"The Molecules are Inside the Atoms": Students' Personal External Representations of Matter.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Bonny Banerjee, B. Chandrasekaran 0001	A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Jolie Bell, Jim Davies	Are Pixel Graphs Are Better at Representing Information than Pie Graphs?	Diagrams	2010	DBLP DOI BibTeX RDF
25	Alexander Eitel, Katharina Scheiter, Anne Schüler	Getting a Clue: Gist Extraction from Scenes and Causal Systems.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Grecia Garcia Garcia, Richard Cox	"Graph-as-Picture" Misconceptions in Young Students.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Atsushi Shimojima, Yasuhiro Katagiri, Kozue Enseki	Attending to and Maintaining Hierarchical Objects in Graphics Comprehension.	Diagrams	2010	DBLP DOI BibTeX RDF
25	B. Chandrasekaran 0001, Omkar Lele	Mapping Descriptive Models of Graph Comprehension into Requirements for a Computational Architecture: Need for Supporting Imagery Operations.	Diagrams	2010	DBLP DOI BibTeX RDF
25	Gem Stapleton, John Howse, John Lee 0004 (eds.)	Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings	Diagrams	2008	DBLP DOI BibTeX RDF
25	Norio Ishii, Saori Sakuma	A Concept Mapping Tool for Nursing Education.	Diagrams	2008	DBLP DOI BibTeX RDF	nursing education, learning support tool, concept map
25	Mariusz Szwoch	Using MusicXML to Evaluate Accuracy of OMR Systems.	Diagrams	2008	DBLP DOI BibTeX RDF	Optical Music Recognition, Performance of Systems, MusicXML
25	Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda	Openproof - A Flexible Framework for Heterogeneous Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
25	Lisa A. Best, Laurence D. Smith, D. Alan Stubbs	Detection of Sample Differences from Dot Plot Displays.	Diagrams	2008	DBLP DOI BibTeX RDF
25	Yohei Kurata	A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically.	Diagrams	2008	DBLP DOI BibTeX RDF
25	Sergio Gutiérrez Santos, Darren Pearce, Eirini Geraniou, Manolis Mavrikis	Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.	Diagrams	2008	DBLP DOI BibTeX RDF
25	David Ranson, Peter C.-H. Cheng	VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design.	Diagrams	2008	DBLP DOI BibTeX RDF	Representational Epistemic Design, Exam Timetabling, Visualisation, Diagrammatic Reasoning
25	M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine	Diagrammatic Reasoning in Separation Logic.	Diagrams	2008	DBLP DOI BibTeX RDF
25	Gisella Paoletti, Sara Rigutti	Texts and Graphs Elaboration: The Effect of Graphs' Examination on Recall.	Diagrams	2008	DBLP DOI BibTeX RDF	spatial contiguity effect, pop-up windows, learning, graphs, texts, recall
25	Helen C. Purchase, Amanjit Samra	Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs.	Diagrams	2008	DBLP DOI BibTeX RDF	Dynamic graph layout, empirical study, mental map
25	Merete Skjelten Tveit	Towards Diagrammatic Patterns.	Diagrams	2008	DBLP DOI BibTeX RDF