Search results for "diagrams"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Osami Yamamoto	An Acceleration Technique for the Computation of Voronoi Diagrams Using Graphics Hardware.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
28	Radomir S. Stankovic, Mark G. Karpovsky	Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
28	Christoph Eichner, Hans Fleischhack, Roland Meyer 0001, Ulrik Schrimpf, Christian Stehno	Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.	SDL Forum	2005	DBLP DOI BibTeX RDF
28	Michael Diehl, Yacov Y. Haimes	Influence diagrams with multiple objectives and tradeoff analysis.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
28	Prasanna Thati, Carolyn L. Talcott, Gul Agha	Techniques for Executing and Reasoning about Specification Diagrams.	AMAST	2004	DBLP DOI BibTeX RDF	Graphical specification languages, may testing, trace equivalence, rewriting logic, calculus
28	Radomir S. Stankovic, Jaakko Astola	Edge-Valued Decision Diagrams for Multiple-Valued Functions.	ISMVL	2004	DBLP DOI BibTeX RDF
28	Baowen Xu, Dazhou Kang, Jianjiang Lu	A Structural Complexity Measure for UML Class Diagrams.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
28	Claes Wohlin, Aybüke Aurum	An Evaluation of Checklist-Based Reading for Entity-Relationship Diagrams.	IEEE METRICS	2003	DBLP DOI BibTeX RDF
28	Andrew Fish, John Howse	Computing Reading Trees for Constraint Diagrams.	AGTIVE	2003	DBLP DOI BibTeX RDF
28	Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana, Ugo de Carlini	Abstracting Business Level UML Diagrams from Web Applications.	WSE	2003	DBLP DOI BibTeX RDF	Reverse Engineering, Object Orientation, Web Engineering
28	Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai	Behavioral Consistency Validation of UML Diagrams.	SEFM	2003	DBLP DOI BibTeX RDF
28	Tetsuro Katayama	Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.	APSEC	2002	DBLP DOI BibTeX RDF	diagram transformation editor, Unified Modeling Language (UML), object-oriented design, modeling tool, transformation rules
28	Sergio Luján-Mora, Juan Trujillo 0001, Il-Yeol Song	Multidimensional Modeling with UML Package Diagrams.	ER	2002	DBLP DOI BibTeX RDF	UML packages, UML, data warehouses, multidimensional modeling, UML extension
28	Frank Ruskey	Drawing Venn Diagrams.	GD	2002	DBLP DOI BibTeX RDF
28	Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst	Performance analysis of time-enhanced UML diagrams based on stochastic processes.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes
28	Simona Bernardi 0001, Susanna Donatelli, José Merseguer	From UML sequence diagrams and statecharts to analysable petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	modeling, UML, compositionality, GSPN
28	Eric A. Hansen, Rong Zhou 0001, Zhengzhu Feng	Symbolic Heuristic Search Using Decision Diagrams.	SARA	2002	DBLP DOI BibTeX RDF
28	Pawel Kerntopf	An Approach to Minimization of Decision Diagrams .	DSD	2001	DBLP DOI BibTeX RDF
28	Øystein Haugen	From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams.	SDL Forum	2001	DBLP DOI BibTeX RDF
28	Petri Selonen, Tarja Systä, Kai Koskimies	Generating Structured Implementation Schemes from UML Sequence Diagrams.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
28	Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim	A CSP View on UML-RT Structure Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
28	Edward Lank, Jeb S. Thorley, Sean Chen, Dorothea Blostein	On-Line Recognition of UML Diagrams.	ICDAR	2001	DBLP DOI BibTeX RDF
28	Joseph Gil, John Howse, Stuart Kent 0001	Formalizing Spider Diagrams.	VL	1999	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
28	Donia Scott, Richard Power	Generating Textual Diagrams and Diagrammatic Texts.	Cooperative Multimodal Communication	1998	DBLP DOI BibTeX RDF
28	Ralph Rönnquist, Chi Keen Low	Formalisation of Interaction Diagrams.	APSEC	1996	DBLP DOI BibTeX RDF	concurrent object oriented system, multi-agent system, fragmentation, Interaction diagram
28	Amelia Shen, Srinivas Devadas, Abhijit Ghosh	Probabilistic manipulation of Boolean functions using free Boolean diagrams.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
28	Mark D. Gross	Recognizing and Interpreting Diagrams in Design.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
28	Allan M. Krall, Robert Fornaro	An algorithm for generating root locus diagrams.	Commun. ACM	1967	DBLP DOI BibTeX RDF
27	Yusuke Matsumoto, Keiko Imai, Hisashi Suzuki	Curved Voronoi Diagrams Consisting of Influence Areas with Differentiable Boundaries.	ISVD	2007	DBLP DOI BibTeX RDF
27	Franz Aurenhammer, Johannes Wallner 0001, Martin Peternell, Helmut Pottmann	Voronoi Diagrams for Oriented Spheres.	ISVD	2007	DBLP DOI BibTeX RDF
27	Marta Fort, Joan Antoni Sellarès	Generalized Higher-Order Voronoi Diagrams on Polyhedral Surfaces.	ISVD	2007	DBLP DOI BibTeX RDF
27	Guodong Rong, Tiow Seng Tan	Variants of Jump Flooding Algorithm for Computing Discrete Voronoi Diagrams.	ISVD	2007	DBLP DOI BibTeX RDF
27	Arash Hooshmand, Saeed Shamshiri, Mohammad Alisafaee, Bijan Alizadeh, Pejman Lotfi-Kamran, Mostafa Naderi, Zainalabedin Navabi	Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
27	Karen Corral, David Schuff, Robert D. St. Louis	The impact of alternative diagrams on the accuracy of recall: A comparison of star-schema diagrams and entity-relationship diagrams.	Decis. Support Syst.	2006	DBLP DOI BibTeX RDF
25	Federico Fernandez, Jaime Navón	Towards a practical model to facilitate reasoning about REST extensions and reuse.	WS-REST	2010	DBLP DOI BibTeX RDF	extended influence diagrams, network-based software, web service, software architecture, software design, REST, restful, architectural styles, influence diagrams, representational state transfer
25	Michael Decker	An UML profile for the modelling of mobile business processes and workflows.	MobiMedia	2009	DBLP DOI BibTeX RDF	mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams
25	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Zero-Supressed Binary Decision Diagrams, Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
25	Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, Tomoaki Iwata	Component-based application development on architecture of a model, UI and components.	APSEC	2000	DBLP DOI BibTeX RDF	component-based application development, M-base application development environment, message-driven model, message flow a, transition diagrams, external specifications, IPSJ sigRE group, distributed systems, user interfaces, user interface, software architecture, groupware, computation model, object-oriented model, object-oriented methods, diagrams, domain model, cooperative work, personal computing, subroutines, modeling tool, simulation tool, end-user computing, system behavior, application architecture, feasibility study
25	Toshihiko Tsumaki, Yoshitomi Morisawa	A framework of requirements tracing using UML.	APSEC	2000	DBLP DOI BibTeX RDF	industrial-standard visual modeling language, Object Management Group, model changes, change tracking, influence analysis, production sequence, model element correction, Unified Modeling Language, software development, specification languages, systems analysis, visual languages, diagrams, UML diagrams, requirements tracing, model searching
25	Philippe Chatalic, Laurent Simon	Multi-resolution on compressed sets of clauses.	ICTAI	2000	DBLP DOI BibTeX RDF	compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
25	Zinovy Diskin	On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).	TOOLS (37)	2000	DBLP DOI BibTeX RDF	business domains, toposes, generalized sketch, predefined signature, visualization superstructures, business specifications, logical derivation, algebraic term rewriting, systems analysis, directed graphs, directed graph, business modeling, diagrams, diagrams, labels, predicate, corporate modelling, mathematical foundations
25	Andrei Borshchev, Yuri G. Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
25	George R. Ribeiro-Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
25	Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay	The Software Architect's Assistant-a visual environment for distributed programming.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process
25	Maurizio Tucci, Giuliana Vitiello, Gennaro Costagliola	Parsing Nonlinear Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	nonlinear language parsing, diagrammatic approach, computer-aided software development toolkits, VLG system, Visual Language Generator, icon-oriented visual languages, syntactical model, nonlinear languages, relation grammars, general parsing algorithm, multidimensional languages, user interfaces, graphical user interfaces, software tools, programming environments, visual programming, visual languages, visual language, parsing, grammars, diagrams, diagrams, graph grammars, rewriting rules, graphical languages, charts, visual programming environments, visual query systems
25	Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.)	Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings	Diagrams	2022	DBLP DOI BibTeX RDF
25	Dave Beisecker, Amirouche Moktefi	John Cook Wilson's Hanging Plants: A Contribution to the History of Early Logic Trees.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Tuomo Hiippala, John A. Bateman	Introducing the Diagrammatic Semiotic Mode.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Chenmu Xing, Megan R. Bender, Leticia Cossi de Souza	Comparison of Diagram Use for Visualizing Probability Problems in U.S. and Chinese Textbooks.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Yuri Sato 0001, Koji Mineshima	Visually Analyzing Universal Quantifiers in Photograph Captions.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Simon Weisgerber	Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?	Diagrams	2022	DBLP DOI BibTeX RDF
25	Axel Arturo Barceló-Aspeitia	How to Visually Represent Structure.	Diagrams	2022	DBLP DOI BibTeX RDF
25	José Martín Castro-Manzano	Mixing Colors, Mixing Logics.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Guy Clarke Marshall, Caroline Jay, André Freitas	Why Scholars Are Diagramming Neural Network Models.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Pedro Falcão	Visualizing Polymorphisms and Counter-Polymorphisms in S5 Modal Logic.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Dirk Schlimm	Tables as Powerful Representational Tools.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Michal Sochanski	Representing Formulas of Propositional Logic by Cographs, Permutations and Tables.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Marcos Bautista López Aznar	How to Build and Convert Complex Propositions in the Marlo Diagram.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Peter C.-H. Cheng, Aaron Stockdill, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik	Representational Interpretive Structure: Theory and Notation.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Matteo Pascucci, Claudio E. A. Pizzi	Normatively Determined Propositions.	Diagrams	2022	DBLP DOI BibTeX RDF
25	Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana (eds.)	Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings	Diagrams	2021	DBLP DOI BibTeX RDF
25	Amirouche Moktefi, Reetu Bhattacharjee	What Are Rules for? A Carroll-Peirce Comparison.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Javier Legris	On Identity in Peirce's Beta Graphs.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Viktor A. Uglev, Oleg Sychev	Concentrating Competency Profile Data into Cognitive Map of Knowledge Diagnosis.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Aaron Stockdill, Mateja Jamnik	Cognitive Properties of Representations: A Framework.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Lisa A. Best, Claire Goggin	The Science of Seeing Science: Examining the Visuality Hypothesis.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Oleg Sychev	Visualizing Program State as a Clustered Graph for Learning Programming.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Arnold Oostra	Equivalence Proof for Intuitionistic Existential Alpha Graphs.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Brandon Boesch	Diagrammatic Representations of Uncertainty in Meteorological Forecasting.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Matteo Pascucci, Giovanni Sileno	The Search for Symmetry in Hohfeldian Modalities.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Dirk Schlimm	How Can Numerals Be Iconic? More Varieties of Iconicity.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Márcia R. Cerioli, Leandro Suguitani, Petrucio Viana	Presenting Basic Graph Logic.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Markus Berger	Modeling Multimodal Interactions and Feedback for Embodied Geovisualization.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Michael A. R. Biggs	Wittgenstein's Picture-Investigations.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Yanze Liu, Peter C.-H. Cheng	Evidence of Chunking in a Simple Drawing Task.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Yuri Sato 0001, Koji Mineshima	Can Humans and Machines Classify Photographs as Depicting Negation?	Diagrams	2021	DBLP DOI BibTeX RDF
25	Yuri Uesaka, Shun Saso, Takeshi Akisawa	How Can We Statistically Analyze the Achievement of Diagrammatic Competency from High School Regular Tests?	Diagrams	2021	DBLP DOI BibTeX RDF
25	Henrik Kragh Sørensen	Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers.	Diagrams	2021	DBLP DOI BibTeX RDF
25	José David García Cruz	What Kind of Opposition-Forming Operator is Privation?	Diagrams	2021	DBLP DOI BibTeX RDF
25	Fiorenzo Colarusso, Peter C.-H. Cheng, Grecia Garcia Garcia, Daniel Raggi, Mateja Jamnik	Observing Strategies of Drawing Data Representations.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Valentin Pluder, Jens Lemanski	A Diagrammatic Representation of Hegel's Science of Logic.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Tabea Rohr	Truth Tables Without Truth Values: On 4.27 and 4.42 of Wittgenstein's Tractatus.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Aaron Stockdill, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng	Considerations in Representation Selection for Problem Solving: A Review.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Hakob Barseghyan	Diagramming Imprecise and Incomplete Temporal Information.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Steffen Strunge Mathiesen, Hans-Jörg Schulz	Aesthetics and Ordering in Stacked Area Charts.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Pedro Falcão	New Representations of Modal Functions.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Mario Bacelar Valente	On the Relationship Between Geometric Objects and Figures in Euclidean Geometry.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Nikita Dev Lomov, Weidong Huang 0001, Jing Luo, Quang Vinh Nguyen	Cognitive Style's Effects on User Task Performance in Network Visualisations.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Ahti-Veikko Pietarinen	Peirce's Diagrammatic Solutions to 'Peirce's Puzzle'.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Frank Thomas Sautter, Bruno Ramos Mendonça	Validity as Choiceless Unification.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Nathan Haydon, Ahti-Veikko Pietarinen	Residuation in Existential Graphs.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Mikhail Denisov, Anton Anikin 0001, Oleg Sychev	Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow During Programming Learning.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Francesco Bellucci	Tractarian Notations.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Niklas Rentz, Steven Smyth, Lewe Andersen, Reinhard von Hanxleden	Extracting Interactive Actor-Based Dataflow Models from Legacy C Code.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Jingyi Liu, Laura R. Novick	Intentional Diagram Design: Using Gestalt Perceptual Grouping in Cladograms to Tackle Misconceptions.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Yuri Engelhardt, Clive Richards	A Universal Grammar for Specifying Visualization Types.	Diagrams	2021	DBLP DOI BibTeX RDF
25	Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker (eds.)	Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings	Diagrams	2020	DBLP DOI BibTeX RDF
25	Jacklynn Niemiec	Visualizing Curricula.	Diagrams	2020	DBLP DOI BibTeX RDF
25	Dany Jaspers	A Mentalist Look at Gaussian Clock Arithmetic.	Diagrams	2020	DBLP DOI BibTeX RDF
25	Günter Wallner, Margit Pohl, Cynthia Graniczkowska, Kathrin Ballweg, Tatiana von Landesberger	Influence of Shape, Density, and Edge Crossings on the Perception of Graph Differences - An Investigation Under Time Constraints.	Diagrams	2020	DBLP DOI BibTeX RDF