Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing.	ICDAR	1995	DBLP DOI BibTeX RDF	complex diagrams, constraint-based parsing, constraint grammars, graphics primitives, vectorized diagrams, genetic diagrams, finite state automata diagrams, Macintosh Common Lisp, Macintosh Quadra 700, finite automata, polygons, lines, spatial indexing, electronic documents, circles, Bezier curves
81	Pourang Irani, Colin Ware	Diagramming information structures using 3D perceptual primitives.	ACM Trans. Comput. Hum. Interact.	2003	DBLP DOI BibTeX RDF	3D diagrams, information visualization
75	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
72	Bogdan J. Falkowski, Susanto Rahardja	Complex Spectral Decision Diagrams.	ISMVL	1996	DBLP DOI BibTeX RDF	spectral decision diagrams, Complex Hadamard Transforms, multivalued logic, multiple-valued logic, decision diagrams, decision tables, multiple-valued functions, Hadamard transforms
67	Daniel L. Schwartz 0001	Learning by Producing Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF	interactivity, learning, feedback, Diagrams
67	Andrew Fish, John Howse	Towards a Default Reading for Constraint Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF	constraint diagrams, formal methods, software specification, diagrammatic reasoning, Visual formalisms
66	Anne Dickinson	'Touching the void'...: narrowing the crevasse between the tactile diagrams that tutors request and those that work in reality.	ITiCSE	2007	DBLP DOI BibTeX RDF	tactile diagrams, university student, e-learning, information technology, disabilities, braille, tactile graphics
66	J. Fernando Bienvenido, Isabel M. Flores-Parra	Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.	Diagrams	2004	DBLP DOI BibTeX RDF
66	Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	The FUJABA environment.	ICSE	2000	DBLP DOI BibTeX RDF	Java, UML
65	Keng Siau, Lihyunn Lee	Are use case and class diagrams complementary in requirements analysis? An experimental study on use case and class diagrams in UML.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Unified modeling language, Requirements engineering, Conceptual modeling, Requirements analysis, Class diagram, Experimental study, Use case diagram
64	Peter Rodgers 0001, Leishi Zhang, Andrew Fish	General Euler Diagram Generation.	Diagrams	2008	DBLP DOI BibTeX RDF	Venn Diagrams, Euler Diagrams
62	Gem Stapleton, John Howse, Kate Toller	Generalizing Spiders.	Diagrams	2006	DBLP DOI BibTeX RDF
62	Aidan J. Delaney, John Taylor 0001, Simon J. Thompson	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.	Diagrams	2008	DBLP DOI BibTeX RDF
62	B. Chandrasekaran 0001	Diagrams as Physical Models.	Diagrams	2006	DBLP DOI BibTeX RDF
62	Yuri Uesaka, Emmanuel Manalo	Active Comparison as a Means of Promoting the Development of Abstract Conditional Knowledge and Appropriate Choice of Diagrams in Math Word Problem Solving.	Diagrams	2006	DBLP DOI BibTeX RDF
62	Jean Flower, John Howse	Generating Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
62	Susan L. Epstein, J.-Holger Keibel	Learning on Paper: Diagrams and Discovery in Game Playing.	Diagrams	2002	DBLP DOI BibTeX RDF
62	Hajime Sawamura, Kensuke Kiyozuka	JVenn: A Visual Reasoning System with Diagrams and Sentences.	Diagrams	2000	DBLP DOI BibTeX RDF
58	Radomir S. Stankovic, Milena Stankovic, Jaakko Astola, Karen O. Egiazarian	Fibonacci Decision Diagrams and Spectral Fibonacci Decision Diagrams.	ISMVL	2000	DBLP DOI BibTeX RDF	Fibonacci codes, Spectral transform decision diagrams, Fibonacci decision diagrams, Decision diagrams
58	Krista E. DeLeeuw, Mary Hegarty	What Diagrams Reveal about Representations in Linear Reasoning, and How They Help.	Diagrams	2008	DBLP DOI BibTeX RDF	reasoning, diagrams, individual differences, cognitive ability, mental representations
58	Richard K. Lowe, Jean-Michel Boucheix	Learning from Animated Diagrams: How Are Mental Models Built?.	Diagrams	2008	DBLP DOI BibTeX RDF	Animated diagrams, perceptual and cognitive processing, mental model construction, complex dynamic content, theoretical framework
58	Jean Flower, John Howse, John Taylor 0001	Nesting in Euler Diagrams: syntax, semantics and construction.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Nested Euler diagrams, Formal methods, Diagrammatic reasoning, Visual formalisms, Euler diagrams
57	Kirsten R. Butcher, Walter Kintsch	Learning with Diagrams: Effects on Inferences and the Integration of Information.	Diagrams	2004	DBLP DOI BibTeX RDF
57	John Howse, Gemma Stapleton, Jean Flower, John Taylor 0001	Corresponding Regions in Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
57	Bharat Jayaraman, Pallavi Tambay	Compositional Semantics for Diagrams Using Constrained Objects.	Diagrams	2002	DBLP DOI BibTeX RDF
57	Daniel Winterstein, Alan Bundy, Mateja Jamnik	A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.	Diagrams	2000	DBLP DOI BibTeX RDF
57	Dorothea Blostein, Edward Lank, Richard Zanibbi	Treatment of Diagrams in Document Image Analysis.	Diagrams	2000	DBLP DOI BibTeX RDF
57	Joseph Gil, John Howse, Elena Tulchinsky	Positive Semantics of Projections in Venn-Euler Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
56	Dorina C. Petriu, Yimei Sun	Consistent Behaviour Representation in Activity and Sequence Diagrams.	UML	2000	DBLP DOI BibTeX RDF
55	Rolf Drechsler, Bernd Becker 0001	Dynamic minimization of OKFDDs.	ICCD	1995	DBLP DOI BibTeX RDF	dynamic minimization, OKFDDs, small Ordered Kronecker Functional Decision Diagrams, Ordered Functional Decision Diagrams, dynamic variable ordering, decomposition type choice, OKFDD package, Boolean functions, logic design, directed graphs, decision theory, diagrams, minimisation, Ordered Binary Decision Diagrams, PUMA
54	Vladlen Koltun, Micha Sharir	On overlays and minimization diagrams.	SCG	2006	DBLP DOI BibTeX RDF	minimization diagrams, Voronoi diagrams, overlays, arrangements, hyperplanes, power diagrams, lower envelopes
54	Kai Koskimies, Hanspeter Mössenböck	Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented Programs.	ICSE	1996	DBLP BibTeX RDF	active text, behavioural prototyping, call matrices, class interfaces, hypertext-like facilities, message flow visualization, method definitions, scenario diagrams, software browsing, reverse engineering, object-oriented programming, object-oriented programs, software development, software tools, programming environments, systems design, hypermedia, systems analysis, program understanding, object-oriented methods, diagrams, data visualisation, source code, subroutines, class diagrams, illustration, Scene
53	Richard K. Lowe, Jean-Michel Boucheix	Supporting Relational Processing in Complex Animated Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF	Complex animated diagrams, relational processing, dynamic cues
53	Leonie Bosveld-de Smet, Mark de Vries	Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants.	Diagrams	2008	DBLP DOI BibTeX RDF	tree diagrams, non-subordination, multidominance, usability
53	Mathupayas Thongmak, Pornsiri Muenchaisri	Design of Rules for Transforming UML Sequence Diagrams into Java code.	APSEC	2002	DBLP DOI BibTeX RDF	UML, Class diagrams, Sequence diagrams, Transformation rules
53	Atsushi Shimojima, Yasuhiro Katagiri	An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.	Diagrams	2008	DBLP DOI BibTeX RDF
52	James Burton 0001	Types and Programs from Euler Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF
52	Chris John, Andrew Fish, John Howse, John Taylor 0001	Exploring the Notion of 'Clutter' in Euler Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
52	Paul Mutton, Peter Rodgers 0001, Jean Flower	Drawing Graphs in Euler Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
52	Lynda Thomas, Mark Ratcliffe 0001, Benjy J. Thomasson	Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?	Diagrams	2004	DBLP DOI BibTeX RDF
52	Corin A. Gurr, Konstantinos Tourlas	Formalising the Essence of Diagrammatic Syntax.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Joe Thurbon	Executing Diagram Sequences.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Stefan Gruner, Murat Kurt	Diagrammatic Control of Diagrammatic Structure Generation.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Mark J. Clayton	Diagrammatic Aesthetics: Modernism and Architecture.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Bruce C. Hungerford, Alan R. Hevner, Rosann W. Collins	Reviewing Software Diagrams: A Cognitive Study.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	human cognitive theory, software diagrams, verbal protocol methods, software quality, inspections, Defects, software reviews
52	Neil MacKinnon, Steve Murphy	Designing UML diagrams for technical documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	visualization, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
52	Henk Koning, Claire Dormann, Hans van Vliet	Practical guidelines for the readability of IT-architecture diagrams.	SIGDOC	2002	DBLP DOI BibTeX RDF	visualization, architecture, color, hierarchy, graphics, layout, guidelines, diagrams, text, size, readability, form, width
52	Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.	UML	2000	DBLP DOI BibTeX RDF	UML meta model, precise behavioral semantics, graph transformation, statechart diagrams
52	John H. Connolly	Diagrams as Components of Multimedia Discourse: A Semiotic Approach.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Jesse Norman	Differentiating Diagrams: A New Approach.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Sara Jones 0001, Michael Scaife	Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Robert K. Lindsay	Playing with Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
52	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
51	Andy Brown, Robert Stevens 0001, Steve Pettifer	Issues in the Non-Visual Presentation of Graph Based Diagrams.	IV	2004	DBLP DOI BibTeX RDF
51	John Howse, Fernando Molina, John Taylor 0001, Stuart Kent 0001	Reasoning with Spider Diagrams.	VL	1999	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
49	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao 0005	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
49	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation.	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
49	L. Beth Protsko, Paul G. Sorenson, J. Paul Tremblay, Douglas A. Schaefer	Towards the Automatic Generation of Software Diagrams.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software diagrams, MONDRIAN, metasystem, software objects, location constraints, programming, routing algorithms, diagrams, computer-aided software engineering, drawing, graphical representation, automatic generation, flowcharting, placement algorithms, layout algorithms, dataflow diagrams, CASE environments
49	Benjamin Gorry	Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture.	Diagrams	2008	DBLP DOI BibTeX RDF	Feature Diagrams, MDA, OMG
49	Camillia Matuk	Animated Cladograms: Interpreting Evolution from Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF	animation, evolution, diagrams, interviews
48	Laura R. Novick, Kefyn M. Catley	Interpreting Hierarchical Structure: Evidence from Cladograms in Biology.	Diagrams	2006	DBLP DOI BibTeX RDF
48	Ron Rood	The Logic of Geometric Proof.	Diagrams	2006	DBLP DOI BibTeX RDF
48	Andrew Fish, Chris John, John Taylor 0001	A Normal Form for Euler Diagrams with Shading.	Diagrams	2008	DBLP DOI BibTeX RDF
48	B. Chandrasekaran 0001, Unmesh Kurup, Bonny Banerjee, John R. Josephson, Robert Winkler	An Architecture for Problem Solving with Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
48	Bonny Banerjee, B. Chandrasekaran 0001	Constructing Diagrams Representing Group Motions.	Diagrams	2004	DBLP DOI BibTeX RDF
48	Anne Verroust, Marie-Luce Viaud	Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.	Diagrams	2004	DBLP DOI BibTeX RDF
48	Peter C.-H. Cheng, Rossano Barone, Peter I. Cowling, Samad Ahmadi	Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
48	David C. Gooding	Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery.	Diagrams	2000	DBLP DOI BibTeX RDF
47	Steve Murphy, Neil MacKinnon	Designing UML and UML-based diagrams for technical documentation: where are we now?	SIGDOC	2008	DBLP DOI BibTeX RDF	visualization, UML, unified modeling language, human factors, documentation, guidelines, graphic design, UML diagrams
47	Pete G. Thomas, Neil Smith, Kevin G. Waugh	Computer assisted assessment of diagrams.	ITiCSE	2007	DBLP DOI BibTeX RDF	feedback, diagrams, automatic marking
47	Ralf Kollmann, Martin Gogolla	Metric-Based Selective Representation of UML Diagrams.	CSMR	2002	DBLP DOI BibTeX RDF	Reverse Engineering, Software Metrics, Program Visualization, UML Class Diagrams
47	Richard Lowe	Animation of Diagrams: An Aid to Learning?	Diagrams	2000	DBLP DOI BibTeX RDF
47	George W. Furnas, Yan Qu, Sanjeev Shrivastava, Gregory Peters	The Use of Intermediat Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
47	Mira Balaban, Azzam Maraee	Consistency of UML Class Diagrams with Hierarchy Constraints.	NGITS	2006	DBLP DOI BibTeX RDF
47	Nasreddine Aoumeur, Gunter Saake	Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic.	CAiSE	2002	DBLP DOI BibTeX RDF
46	Richard Cole 0002	Automated Layout of Concept Lattices Using Layered Diagrams and Additive Diagrams.	ACSC	2001	DBLP DOI BibTeX RDF
44	Barbara Tversky, James E. Corter, Jeffrey V. Nickerson, Doris Zahner, Yun Jin Rho	Transforming Descriptions and Diagrams to Sketches in Information System Design.	Diagrams	2008	DBLP DOI BibTeX RDF	problem representation, topological diagrams, sketches, Diagrammatic reasoning, information systems design, descriptions
44	Lynda Thomas, Mark Ratcliffe 0001, Benjy J. Thomasson	Scaffolding with object diagrams in first year programming classes: some unexpected results.	SIGCSE	2004	DBLP DOI BibTeX RDF	tracing code, object diagrams, interaction diagrams, first year programming
44	Fairouz Tchier	Demonic I/O of Compound Diagrams Monotype/Residual Style.	ISCIS	2003	DBLP DOI BibTeX RDF	Relational diagrams, compound diagrams, demonic semantics, monotypes, operational semantics, residuals
44	Chen Ding, Prabhaker Mateti	A Framework for the Automated Drawing of Data Structure Diagrams.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	pictorial indication, automated drawing, data structure diagrams, two-dimensional figures, interrelationships, factors of aesthetics, computable objectives, numeric parameters, software engineering, data structures, computer graphics, rules, diagrams, lines
43	Andrew Fish, Jean Flower	Euler Diagram Decomposition.	Diagrams	2008	DBLP DOI BibTeX RDF
43	Pourang Irani	The Learnability of Diagram Semantics.	Diagrams	2002	DBLP DOI BibTeX RDF
43	Raul Niño Zambrano, Yuri Engelhardt	Diagrams for the Masses: Raising Public Awareness - From Neurath to Gapminder and Google Earth.	Diagrams	2008	DBLP DOI BibTeX RDF	public awareness, Otto Neurath, online graphics, information visualization, statistical graphics
43	Rossano Barone, Peter C.-H. Cheng	Cognitive and Semantic Perspectives of Token Representation in Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF
43	Grecia Garcia Garcia, Richard Cox	Diagrams in the UK National School Curriculum.	Diagrams	2008	DBLP DOI BibTeX RDF
43	Andrew Fish, Gem Stapleton	Defining Euler Diagrams: Simple or What?.	Diagrams	2006	DBLP DOI BibTeX RDF
43	Leonie Bosveld-de Smet	Diagrams in Second or Foreign Language Learning??!	Diagrams	2006	DBLP DOI BibTeX RDF
43	Richard Lowe	Changing Perceptions of Animated Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
43	Nathaniel Miller	Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.	Diagrams	2006	DBLP DOI BibTeX RDF
43	Stephen J. Morris, O. C. Z. Gotel	Flow Diagrams: Rise and Fall of the First Software Engineering Notation.	Diagrams	2006	DBLP DOI BibTeX RDF
43	Jean Flower, Judith Masthoff, Gem Stapleton	Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
43	Peter C.-H. Cheng	Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.	Diagrams	2004	DBLP DOI BibTeX RDF
43	Neil Smith, Pete G. Thomas, Kevin G. Waugh	Interpreting Imprecise Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
43	Don Salting	Feature Diagrams in Phonology.	Diagrams	2004	DBLP DOI BibTeX RDF
43	Steven L. Tanimoto, William Winn, David Akers	A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas.	Diagrams	2002	DBLP DOI BibTeX RDF
43	Peter C.-H. Cheng, Nigel G. Pitt	Teaching Science Teachers Electricity Using AVOW Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
43	Barbara Tversky, Jeff Zacks, Paul U. Lee, Julie Heiser	Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures.	Diagrams	2000	DBLP DOI BibTeX RDF
43	Ana von Klopp Lemon, Oliver Lemon	Constraint Matching for Diagram Design: Qualitative Visual Languages.	Diagrams	2000	DBLP DOI BibTeX RDF
43	Shingo Takada 0001, Yasuhiro Yamamoto, Kumiyo Nakakoji	Two-Dimensional Positioning as Visual Thinking.	Diagrams	2000	DBLP DOI BibTeX RDF
43	Alan F. Blackwell, Anthony R. Jansen, Kim Marriott	Restricted Focus Viewer: A Tool for Tracking Visual Attention.	Diagrams	2000	DBLP DOI BibTeX RDF