Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	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
6	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing. (PDF / PS)	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
5	Richard Lowe, Jean-Michel Boucheix	Supporting Relational Processing in Complex Animated Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF	Complex animated diagrams, relational processing, dynamic cues
5	Richard 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
5	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
5	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
5	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
5	Camillia Matuk	Animated Cladograms: Interpreting Evolution from Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF	animation, evolution, diagrams, interviews
5	Peter Rodgers, Leishi Zhang, Andrew Fish	General Euler Diagram Generation.	Diagrams	2008	DBLP DOI BibTeX RDF	Venn Diagrams, Euler Diagrams
5	Vladlen Koltun, Micha Sharir	On overlays and minimization diagrams.	Symposium on Computational Geometry	2006	DBLP DOI BibTeX RDF	minimization diagrams, Voronoi diagrams, overlays, arrangements, hyperplanes, power diagrams, lower envelopes
5	Daniel L. Schwartz	Learning by Producing Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF	interactivity, learning, feedback, Diagrams
5	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
5	Radomir S. Stankovic, Milena Stankovic, Jaakko Astola, Karen Egiazarian	Fibonacci Decision Diagrams and Spectral Fibonacci Decision Diagrams. (PDF / PS)	ISMVL	2000	DBLP DOI BibTeX RDF	Fibonacci codes, Spectral transform decision diagrams, Fibonacci decision diagrams, Decision diagrams
5	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
5	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation. (PDF / PS)	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
5	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao	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
5	Rolf Drechsler, Bernd Becker	Dynamic minimization of OKFDDs. (PDF / PS)	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
5	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
4	Frank Nielsen, Richard Nock	The Dual Voronoi Diagrams with Respect to Representational Bregman Divergences.	ISVD	2009	DBLP DOI BibTeX RDF	$f$-divergences, $alpha$-divergences, $beta$-divergences, Voronoi diagrams, centroids, Bregman divergences, power diagrams
4	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
4	Aidan Delaney, John Taylor, Simon J. Thompson	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.	Diagrams	2008	DBLP DOI BibTeX RDF
4	Steven L. Tanimoto	Enhancing State-Space Tree Diagrams for Collaborative Problem Solving.	Diagrams	2008	DBLP DOI BibTeX RDF
4	Rossano Barone, Peter C.-H. Cheng	Cognitive and Semantic Perspectives of Token Representation in Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF
4	James Burton	Types and Programs from Euler Diagrams.	Diagrams	2008	DBLP DOI BibTeX RDF
4	Grecia Garcia Garcia, Richard Cox	Diagrams in the UK National School Curriculum.	Diagrams	2008	DBLP DOI BibTeX RDF
4	Andrew Fish, Chris John, John Taylor	A Normal Form for Euler Diagrams with Shading.	Diagrams	2008	DBLP DOI BibTeX RDF
4	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
4	Sumanta Sarathi Sharma	Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms.	Diagrams	2008	DBLP DOI BibTeX RDF	Euler Circles, Method of Minimal Representation, Venn Diagrams
4	Gianfranco Ciardo	Data Representation and Efficient Solution: A Decision Diagram Approach.	SFM	2007	DBLP DOI BibTeX RDF	edge-valued decision diagrams, binary decision diagrams, symbolic model checking, Kronecker algebra, multi-valued decision diagrams, state-space generation
4	Richard Lowe	Changing Perceptions of Animated Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
4	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
4	Stephen J. Morris, O. C. Z. Gotel	Flow Diagrams: Rise and Fall of the First Software Engineering Notation.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Yohei Kurata, Max J. Egenhofer	Topological Relations of Arrow Symbols in Complex Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Andrew Fish, Gem Stapleton	Defining Euler Diagrams: Simple or What?.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Nathaniel Miller	Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Leonie Bosveld-de Smet	Diagrams in Second or Foreign Language Learning??!.	Diagrams	2006	DBLP DOI BibTeX RDF
4	B. Chandrasekaran	Diagrams as Physical Models.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Nathan Crilly, P. John Clarkson, Alan F. Blackwell	Using Research Diagrams for Member Validation in Qualitative Research.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Chris John, Andrew Fish, John Howse, John Taylor	Exploring the Notion of 'Clutter' in Euler Diagrams.	Diagrams	2006	DBLP DOI BibTeX RDF
4	Jean Flower, John Howse, John Taylor	Nesting in Euler Diagrams: syntax, semantics and construction.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Nested Euler diagrams, Formal methods, Diagrammatic reasoning, Visual formalisms, Euler diagrams
4	Peter C.-H. Cheng	Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Iulian D. Toader	On Frege's Logical Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Benedek Nagy, Gerard Allwein	Diagrams and Non-monotonicity in Puzzles.	Diagrams	2004	DBLP DOI BibTeX RDF	diagrammatic reasoning, Puzzles, non-monotonic reasoning
4	Richard Lowe	User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?	Diagrams	2004	DBLP DOI BibTeX RDF
4	Anne Verroust, Marie-Luce Viaud	Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Paul Mutton, Peter Rodgers, Jean Flower	Drawing Graphs in Euler Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Sara Price	Processing Animation: Integrating Information from Animated Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Gem Stapleton, John Howse, John Taylor, Simon J. Thompson	What Can Spider Diagrams Say?	Diagrams	2004	DBLP DOI BibTeX RDF
4	B. Chandrasekaran, Unmesh Kurup, Bonny Banerjee, John R. Josephson, Robert Winkler	An Architecture for Problem Solving with Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Kirsten R. Butcher, Walter Kintsch	Learning with Diagrams: Effects on Inferences and the Integration of Information.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Jean Flower, Judith Masthoff, Gem Stapleton	Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Bonny Banerjee, B. Chandrasekaran	Constructing Diagrams Representing Group Motions.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Lynda Thomas, Mark Ratcliffe, Benjy J. Thomasson	Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?	Diagrams	2004	DBLP DOI BibTeX RDF
4	Don Salting	Feature Diagrams in Phonology.	Diagrams	2004	DBLP DOI BibTeX RDF
4	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
4	Neil Smith, Pete G. Thomas, Kevin G. Waugh	Interpreting Imprecise Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
4	Lynda Thomas, Mark Ratcliffe, 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
4	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
4	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
4	Bharat Jayaraman, Pallavi Tambay	Compositional Semantics for Diagrams Using Constrained Objects.	Diagrams	2002	DBLP DOI BibTeX RDF
4	Sarah Kriz	Understanding Simultaneity and Causality in Static Diagrams versus Animation.	Diagrams	2002	DBLP DOI BibTeX RDF
4	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
4	David J. Bennett	Effects of Navigation and Position on Task When Presenting Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
4	Susan L. Epstein, J.-Holger Keibel	Learning on Paper: Diagrams and Discovery in Game Playing.	Diagrams	2002	DBLP DOI BibTeX RDF
4	Jean Flower, John Howse	Generating Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
4	John Howse, Gemma Stapleton, Jean Flower, John Taylor	Corresponding Regions in Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
4	Peter C.-H. Cheng, Nigel G. Pitt	Teaching Science Teachers Electricity Using AVOW Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
4	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
4	Hajime Sawamura, Kensuke Kiyozuka	JVenn: A Visual Reasoning System with Diagrams and Sentences.	Diagrams	2000	DBLP BibTeX RDF
4	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 BibTeX RDF
4	Dorothea Blostein, Edward Lank, Richard Zanibbi	Treatment of Diagrams in Document Image Analysis.	Diagrams	2000	DBLP BibTeX RDF
4	Jesse Norman	Differentiating Diagrams: A New Approach.	Diagrams	2000	DBLP BibTeX RDF
4	Richard Lowe	Animation of Diagrams: An Aid to Learning?	Diagrams	2000	DBLP BibTeX RDF
4	Robert K. Lindsay	Playing with Diagrams.	Diagrams	2000	DBLP BibTeX RDF
4	Sara Jones, Michael Scaife	Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes.	Diagrams	2000	DBLP BibTeX RDF
4	Joseph Gil, John Howse, Elena Tulchinsky	Positive Semantics of Projections in Venn-Euler Diagrams.	Diagrams	2000	DBLP BibTeX RDF
4	John H. Connolly	Diagrams as Components of Multimedia Discourse: A Semiotic Approach.	Diagrams	2000	DBLP BibTeX RDF
4	Bogdan J. Falkowski, Susanto Rahardja	Complex Spectral Decision Diagrams. (PDF / PS)	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
4	Allison Woodruff, Michael Stonebraker	Buffering of Intermediate Results in Dataflow Diagrams. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	optimal buffer allocation, buffer contents, user requests, latency reduction techniques, history mechanisms, query response time, visual dataflow languages, Tioga, graphical application development tool, software tools, latency, visual programming, NP-hard, data flow analysis, buffer management, diagrams, buffer storage, storage allocation, heuristic programming, heuristic methods, application generators, performance enhancements, average response time, dataflow diagrams
4	Kar-Wing Edward Lor, Daniel M. Berry	Automatic Synthesis of SARA Design Models From System Requirements.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software design automation, SARA design models, requirement analyst, system verification diagrams, System Architect's Apprentice, SVD requirement specification, knowledge-based tool, software tools, knowledge-based system, knowledge based systems, software, systems analysis, hardware, diagrams, computer aided software engineering, functional requirements, data flow diagrams, design languages, design assistant
4	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
3	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
3	Kira Vyatkina, Gill Barequet	On 2-Site Voronoi Diagrams under Arithmetic Combinations of Point-to-Point Distances.	ISVD	2010	DBLP DOI BibTeX RDF	generalized Voronoi diagrams, distance functions
3	Norie Fu, Hiroshi Imai, Sonoko Moriyama	Voronoi Diagrams on Periodic Graphs.	ISVD	2010	DBLP DOI BibTeX RDF	periodic graphs, graph Voronoi diagrams, shortest paths
3	Toshihiro Tanuma, Hiroshi Imai, Sonoko Moriyama	Revisiting Hyperbolic Voronoi Diagrams from Theoretical, Applied and Generalized Viewpoints.	ISVD	2010	DBLP DOI BibTeX RDF	greedy embedding, geodesic segments, Voronoi diagrams, divergences, hyperbolic geometry
3	Peter Rodgers, Jean Flower, Gem Stapleton, John Howse	Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Yuri Sato, Koji Mineshima, Ryo Takemura	The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Thomas Barkowsky	Diagrams in the Mind: Visual or Spatial?	Diagrams	2010	DBLP DOI BibTeX RDF
3	Richard Lowe, Jean-Michel Boucheix	Manipulatable Models for Investigating Processing of Dynamic Diagrams.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Randall Davis	Understanding Diagrams, and More: The Computer's View.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Cagatay Goncu, Kim Marriott, Frances Aldrich	Tactile Diagrams: Worth Ten Thousand Words?	Diagrams	2010	DBLP DOI BibTeX RDF
3	Aidan Delaney, Gem Stapleton, John Taylor, Simon J. Thompson	Fragments of Spider Diagrams of Order and Their Relative Expressiveness.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Peter Coppin	An Attention Based Theory to Explore the Cognitive Affordances of Diagrams Relative to Text.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Paolo Bottoni, Andrew Fish	Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Jim Davies	The Graduate Student Symposium of Diagrams 2010.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Katharina Scheiter, Alexander Eitel	The Effects of Signals on Learning from Text and Diagrams: How Looking at Diagrams Earlier and More Frequently Improves Understanding.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Anne Schüler, Katharina Scheiter, Peter Gerjets	Can Text Content Influence the Effectiveness of Diagrams?	Diagrams	2010	DBLP DOI BibTeX RDF
3	Richard Lowe, Jean-Michel Boucheix	Attention Direction in Static and Animated Diagrams.	Diagrams	2010	DBLP DOI BibTeX RDF
3	Lixiu Yu, Jeffrey V. Nickerson, Barbara Tversky	Discovering Perceptions of Personal Social Networks through Diagrams.	Diagrams	2010	DBLP DOI BibTeX RDF
3	John Howse, Peter Rodgers, Gem Stapleton	Drawing Euler Diagrams for Information Visualization.	Diagrams	2010	DBLP DOI BibTeX RDF