|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6567 occurrences of 2646 keywords
|
|
|
Results
Found 10326 publication records. Showing 10326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Patrick W. Yaner, Ashok K. Goel 0001 |
From Diagrams to Models by Analogical Transfer. |
Diagrams |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Nuno Otero, Yvonne Rogers, Benedict du Boulay |
Learning Interaction Patterns Using Diagrams Varying in Level and Type of Interactivity. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
34 | Georg Vrachliotis |
Articulating Space through Architectural Diagrams. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
34 | Yohei Kurata, Max J. Egenhofer |
Semantics of Simple Arrow Diagrams. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
34 | Clare Davies |
Maps beyond Diagrams: Real-World Spatial Orientation. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
34 | Thomas Barkowsky, Christian Freksa, Mary Hegarty, Ric K. Lowe |
Preface: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
34 | Christophe Mues, Bart Baesens, Craig M. Files, Jan Vanthienen |
Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Jesse Norman |
Can Diagrams Have Epistemic Value? The Case of Euclid. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Mary Hegarty |
Diagrams in the Mind and in the World: Relations between Internal and External Visualizations. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Fehmi Dogan, Nancy J. Nersessian |
Conceptual Diagrams: Representing Ideas in Design. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Michael Anderson 0001, Peter C.-H. Cheng, Volker Haarslev (eds.) |
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Frank Drewes, Renate Klempien-Hinrichs |
Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson |
Universal Arrow Foundations for Visual Modeling. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Patrick Scotto di Luzio |
Logical Systems and Formality. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Yan Ping Zhou, Chew Lim Tan |
Bar Charts Recognition Using Hough Based Syntactic Segmentation. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Alexander Klippel, Lars Kulik |
Using Grids in Maps. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Hermina Schijf |
Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Patrick G. T. Healey, Rosemarie McCabe, Yasuhiro Katagiri |
A Comparison of Graphics and Speech in a Task-Oriented Interactio. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Aidan Feeney, Ala K. W. Hola, Simon P. Liversedge, John M. Findlay, Robert Metcalf |
How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Zenon Kulpa |
A Diagrammatic Notation for Interval Algebra. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Sun-Joo Shin |
Reviving the Iconicity of Beta Graphs. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Carol Britton, Sara Jones 0001, Maria Kutar, Martin J. Loomes, Brian Robinson |
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Stuart Clink, Julian Newman |
Recording the Future: Some Diagrammatic Aspects of Time Management. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Jiajie Zhang |
The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Helen C. Purchase, David A. Carrington, Jo-Anne Allder |
Experimenting with Aesthetics-Based Graph Layout. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Erkki Mäkinen, Harri Siirtola |
Reordering the Reorderable Matrix as an Algorithmic Problem. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Kim Marriott, Bernd Meyer 0001 |
Non-standard Logics for Diagram Interpretation. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
34 | R. Ian Ferguson, Andrew Hunter, Colin J. Hardy |
MetaBuilder: The Diagrammer's Diagrammer. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
33 | James T. Streib, Takako Soma |
Using contour diagrams and JIVE to illustrate object-oriented semantics in the Java programming language. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
contour diagrams, jive, object-oriented semantics, java |
33 | Tracy Anne Hammond, Drew Logsdon, Joshua M. Peschel, Joshua Johnston, Paul Taele, Aaron Wolin, Brandon Paulson |
A sketch recognition interface that recognizes hundreds of shapes in course-of-action diagrams. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
course-of-action diagrams, sketch recognition, pen-based input |
33 | Ambikesh Jayal, Martin J. Shepperd |
The Problem of Labels in E-Assessment of Diagrams. |
ACM J. Educ. Resour. Comput. |
2009 |
DBLP DOI BibTeX RDF |
diagrams, E-assessment |
33 | Vladlen Koltun, Micha Sharir |
On Overlays and Minimization Diagrams. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Minimization diagrams, Overlays, Arrangements, Combinatorial complexity, Lower envelopes |
33 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
33 | Tevfik Bultan, Xiang Fu 0001 |
Specification of realizable service conversations using collaboration diagrams. |
Serv. Oriented Comput. Appl. |
2008 |
DBLP DOI BibTeX RDF |
Conversations, Choreography, Realizability, Collaboration diagrams |
33 | Narasimha Bolloju, Sherry Xiaoyun Sun |
Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
quality requirements specifications, activity diagrams, Use case models |
33 | Paulo A. S. Veloso, Sheila R. M. Veloso |
Methodical Construction of Symbolic Diagrams. |
SBIA |
2008 |
DBLP DOI BibTeX RDF |
symbolic reasoning, Knowledge representation, diagrams |
33 | Holger Eichelberger |
Automatic layout of UML use case diagrams. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
automatic layout algorithms, drawing rules, UML, model-driven development, use case diagrams |
33 | Mathias Frisch, Raimund Dachselt, Tobias Brückmann |
Towards seamless semantic zooming techniques for UML diagrams. |
SOFTVIS |
2008 |
DBLP DOI BibTeX RDF |
models, visualization, UML, interaction techniques, diagrams, zoomable user interface, semantic zooming |
33 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts |
33 | Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí |
Does the use of stereotypes improve the comprehension of UML sequence diagrams? |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
uml sequence diagrams, controlled experiment, comprehension, stereotypes, understandability |
33 | Pontus Johnson, Robert Lagerström, Per Närman, Mårten Simonsson |
Enterprise architecture analysis with extended influence diagrams. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Enterprise architecture models, Formal language, Influence diagrams |
33 | Yuanxin Liu, Jack Snoeyink |
Quadratic and cubic b-splines by generalizing higher-order voronoi diagrams. |
SCG |
2007 |
DBLP DOI BibTeX RDF |
centroid triangulation, higher order Voronoi diagrams, multivariate splines |
33 | Heorhiy Byelas, Alexandru C. Telea |
Visualization of areas of interest in software architecture diagrams. |
SOFTVIS |
2006 |
DBLP DOI BibTeX RDF |
architecture visualization, metrics, UML diagrams, areas of interest |
33 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
33 | Sujatha R. Upadhyaya, P. Sreenivasa Kumar 0001 |
ERONTO: a tool for extracting ontologies from extended E/R diagrams. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
E/R diagrams, semantic web, OWL, ontology development |
33 | Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell |
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. |
ER |
2005 |
DBLP DOI BibTeX RDF |
UML, Activity Diagrams, Workflow Patterns, YAWL |
33 | Juan-Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
33 | Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best, Robert Lintern |
Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views. |
Inf. Syst. Frontiers |
2003 |
DBLP DOI BibTeX RDF |
software engineering, integration, software visualization, system modeling, MOF, XMI, flow diagrams |
33 | Jean Flower, Peter Rodgers 0001, Paul Mutton |
Layout Metrics for Euler Diagrams. |
IV |
2003 |
DBLP DOI BibTeX RDF |
layout metrics, graph drawing, Euler diagrams |
33 | Xuandong Li, Johan Lilius |
Checking compositions of UML sequence diagrams for timing inconsistency. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions |
33 | Jörg Fischer 0002, Stefan Conrad 0001 |
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
hardware and software design, relational semantics, formal semantics, dynamic logic, timing diagrams, integrated verification, causal dependencies |
33 | Diego Latella, István Majzik, Mieke Massink |
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA |
33 | Tsutomu Sasao, Jon T. Butler |
Planar Multiple-Valued Decision Diagrams. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
planar multiple-valued decision diagrams, monotone increasing functions, binary functions, field programmable gate arrays, programmable logic arrays, multivalued logic circuits, threshold logic, symmetric functions, threshold functions |
33 | Radomir S. Stankovic |
Functional Decision Diagrams for Multiple-Valued Functions. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
functional decision diagrams, uniform interpretation, binary switching functions, MV functions, Reed-Muller-Fourier representations, Reed-Muller-Fourier coefficients, decision theory, multivalued logic, Galois fields, Galois field, switching functions, multiple valued functions, multiple-valued functions |
33 | Frithjof Dau |
The Advent of Formal Diagrammatic Reasoning Systems. |
ICFCA |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Imran Sarwar Bajwa, M. Imran Siddique, M. Abbas Choudhary |
Rule based Production Systems for Automatic Code Generation in Java. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl |
MAC and UML for secure software design. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
security, UML, software design, mandatory access control |
33 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Rik Eshuis, Roel J. Wieringa |
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Gerhard Viehstaedt, Mark Minas |
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model |
CAiSE |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Diana Patterson |
The myth and realities of C.A.S.E. for documentation. |
SIGDOC |
1989 |
DBLP DOI BibTeX RDF |
|
32 | SungYe Kim, Insoo Woo, Ross Maciejewski, David S. Ebert, Timothy D. Ropp, Krystal M. Thomas |
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks. |
APGV |
2010 |
DBLP DOI BibTeX RDF |
context preservation, effectiveness in interactive diagram visualization, human factors in maintenance work |
32 | Hiroshi Taguchi, Fumiko Harada, Hiromitsu Shimakawa |
Promoting Acquisition of Programming Skills by Reuse of Active Diagrams. |
C5 |
2008 |
DBLP DOI BibTeX RDF |
clues to understanding, C-language programming, active diagram, programming education |
32 | Boris P. Leontyev |
Implementation of ER diagrams in the framework of a Periodic Table of Generic Visualization methods. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Kenny Wong, Dabo Sun |
On evaluating the layout of UML diagrams for program comprehension. |
Softw. Qual. J. |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Nicolas Guelfi, Amel Mammar |
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Christophe Sibertin-Blanc, Omar Tahir, Janette Cardoso |
Interpretation of UML Sequence Diagrams as Causality Flows. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Hana Chockler, Kathi Fisler |
Temporal Modalities for Concisely Capturing Timing Diagrams. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Frithjof Dau |
Types and Tokens for Logic with Diagrams. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Alessandra Cavarra, Juliana Küster Filipe |
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Julie Heiser, Barbara Tversky |
Characterizing Diagrams Produced by Individuals and Dyads. |
Spatial Cognition |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Jennifer Swan, Maria Kutar, Trevor Barker, Carol Britton |
User Preference and Performance with UML Interaction Diagrams. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Lawrence Cabac, Daniel Moldt |
Formal Semantics for AUML Agent Interaction Protocol Diagrams. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols |
32 | Robert P. Futrelle, Mingyan Shao, Chris Cieslik, Andrea Elaina Grimes |
Extraction, layout analysis and classification of diagrams in PDF documents. |
ICDAR |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing |
Extending Activity Diagrams to Model Mobile Systems. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Falk Fraikin, Thomas Leonhardt |
SeDiTeC - Testing Based on Sequence Diagrams. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Holger Eichelberger |
Aesthetics of Class Diagrams. |
VISSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Marlon Dumas, Arthur H. M. ter Hofstede |
UML Activity Diagrams as a Workflow Specification Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Xuandong Li, Cui Meng, Yu Pei 0001, Jianhua Zhao, Guoliang Zheng |
Timing Analysis of UML Activity Diagrams. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Joseph Gil, John Howse, Stuart Kent 0001 |
Towards a Formalization of Constraint Diagrams. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
formal methods, software specification, Visual formalisms |
32 | Alexander Egyed |
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Hajime Sawamura, Kensuke Kiyozuka |
A Hybrid Reasoning System with Diagrams and Sentences. |
VL |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Klaus Biedermann |
How Triadic Diagrams Represent Conceptual Structures. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Sarat Vemuri, Shankar Sengupta, J. Steve Davis |
Data dependency diagrams for spreadsheet applications. |
ACM Southeast Regional Conference |
1992 |
DBLP DOI BibTeX RDF |
|
32 | L. Paul Chew, Robert L. (Scot) Drysdale III |
Voronoi diagrams based on convex distance functions. |
SCG |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Tony Spiteri Staines |
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Daniel Boissonnat, Menelaos I. Karavelas |
On the combinatorial complexity of euclidean Voronoi cells and convex hulls of d-dimensional spheres. |
SODA |
2003 |
DBLP BibTeX RDF |
Möbius diagrams, computational geometry, Voronoi diagrams, convex hulls, spheres, combinatorial geometry, Power diagrams |
30 | Sitt Sen Chok, Kim Marriott |
Automatic Construction of User Interfaces from Constraint Multiset Grammars. |
VL |
1995 |
DBLP DOI BibTeX RDF |
constraint multiset grammar specification, sub-diagrams, primitive tokens, automatic error correction, geometric errors, diagram component manipulation, user interfaces, formal specification, semantics, graphical user interfaces, software tools, feedback, visual languages, visual language, error correction, grammars, diagrams, geometry, automatic programming, user interface management systems, pen-based computers, graphic editor, notebook computers, incremental parsing, automatic construction |
30 | Suzana Stojkovic, Dragan Jankovic, Radomir S. Stankovic |
An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
decision diagrams construction, decision diagrams, Cubes |
30 | Daniel Král |
Polynomial-Size Binary Decision Diagrams for the Exactly Half-d-Hyperclique Problem Reading Each Input Bit Twice. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Free binary decision diagrams, Binary decision diagrams |
30 | Mauricio J. V. Silva, C. Robert Carlson |
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
active object-oriented database modeling, multilevel diagrams, event driven behavior, time critical reactions, A/OODBMT, Active Object-Oriented Database Modeling Technique, OMT method, nested object model, nested rule model, nested event model, data structures, object-oriented databases, systems analysis, deductive databases, diagrams, behavior model, active databases, object-oriented paradigm, event-condition-action rules, Object Modeling Technique |
30 | Rolf Klein, Andrzej Lingas |
Hamiltonian Abstract Voronoi Diagrams in Linear Time. |
ISAAC |
1994 |
DBLP DOI BibTeX RDF |
abstract Voronoi diagrams, Computational geometry, Voronoi diagrams, convex polygons |
29 | Julie Tolmie |
Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
visual object, diagrammatic notation, map, visualisation, immersion |
29 | Colin Ware, Anne T. Gilman, Robert J. Bobrow |
Visual Thinking with an Interactive Diagram. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer |
Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
natural language, first-order logic, errors, graphical representations |
29 | Koji Mineshima, Mitsuhiro Okada, Yuri Sato 0001, Ryo Takemura |
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Fabien Schang, Amirouche Moktefi |
Depicting Negation in Diagrammatic Logic: Legacy and Prospects. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
bivalence, logical negation, internalization, complementation, dichotomy |
29 | W. Bradford Paley |
Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
29 | John Etchemendy |
Heterogeneous Reasoning. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 10326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|