Search results for "diagrams"

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