Search results for "diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Adha Imam Cahyadi, D. Isarakorn, T. Benjanarasuth, J. Ngamwiwit, N. Komine	Application of coefficient diagram method for rotational inverted pendulum control.	ICARCV	2004	DBLP DOI BibTeX RDF
17	Joseph S. Szakas, Christian Trefftz	Two Parallel Computational Geometry Algorithms: A Discrete Voronoi Diagram with Disappearing Seeds and Convex Hull.	IPDPS	2004	DBLP DOI BibTeX RDF
17	Ruinan Gong, Qing Li 0010, Xin Liu, Qing Wang	Modelling for business process design: a methodology based on causal loop diagram.	SMC (7)	2004	DBLP DOI BibTeX RDF
17	Mitsuhisa Taguchi, Kornkamol Jamroendararasame, Kazuhiro Asami, Takehiro Tokuda	Comparison of Two Approaches for Automatic Construction of Web Applications: Annotation Approach and Diagram Approach.	ICWE	2004	DBLP DOI BibTeX RDF
17	Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang	Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram.	CW	2004	DBLP DOI BibTeX RDF	GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension
17	Menelaos I. Karavelas, Ioannis Z. Emiris	Root comparison techniques applied to computing the additively weighted Voronoi diagram.	SODA	2003	DBLP BibTeX RDF	Algebraic Predicates, Computational Geometry, Voronoi Diagrams, Symbolic Computation
17	Ivan Stojmenovic, Anand Prakash Ruhil, D. K. Lobiyal 0001	Voronoi diagram and convex hull based geocasting and routing in wireless networks.	ISCC	2003	DBLP DOI BibTeX RDF
17	Mehmet Sahinoglu	An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems.	SERA	2003	DBLP DOI BibTeX RDF
17	Imma Boada, Narcís Coll, Joan Antoni Sellarès	Dynamically Maintaining a Hierarchical Planar Voronoi Diagram Approximation.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
17	Takeshi Kanda, Kokichi Sugihara	Two-Dimensional Range Search Based on the Voronoi Diagram.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
17	Lawrence S. Baum, John H. Boose, Molly L. Boose, Carey Chaplin, Ron Provine	Extracting System-Level Understanding from Wiring Diagram Manuals.	GREC	2003	DBLP DOI BibTeX RDF
17	Alexander Gribov, Eugene Bodansky	Vectorization with the Voronoi L-diagram.	ICDAR	2003	DBLP DOI BibTeX RDF	dense skeleton, L-veinerization, Vectorization, medial axis, distance transformation, centerline
17	John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001	On Diagram Tokens and Types.	Diagrams	2002	DBLP DOI BibTeX RDF
17	Benoit Baudry, Yves Le Traon, Gerson Sunyé	Testability Analysis of a UML Class Diagram.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
17	Tamal K. Dey, Wulue Zhao	Approximating the Medial Axis from the Voronoi Diagram with a Convergence Guarantee.	ESA	2002	DBLP DOI BibTeX RDF
17	Olga Fengler, Wolfgang Fengler 0001, Vesselka Duridanova	Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems.	IICS	2002	DBLP DOI BibTeX RDF
17	Luca Lucchese, Debargha Mukherjee, Sanjit K. Mitra	A new algorithm based on saturation and desaturation in the xy chromaticity diagram for enhancement and re-rendition of color images.	ICIP (2)	2001	DBLP DOI BibTeX RDF
17	Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas	Node-Edge Diagram Layout for Displaying Hierarchies.	SIBGRAPI	2001	DBLP DOI BibTeX RDF
17	Federico Bizzarri, Marco Storace	2-D bifurcation diagram of an oscillator based on PWL hysteresis.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
17	Chung-Hung Lai, Tien-Fu Chen	Compressing inverted files in scalable information systems by binary decision diagram encoding .	SC	2001	DBLP DOI BibTeX RDF	scalable information systems, information retrieval, BDD, inverted file
17	Chiuyuan Chen, Frank K. Hwang	The Minimum Distance Diagram of Double-Loop Networks.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	L-shape, sieve method, diameter, Double-loop network
17	Farn Wang	Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.	COMPSAC	2000	DBLP DOI BibTeX RDF
17	Chhaya Mudgal, Julita Vassileva	An Influence Diagram Model for Multi-Agent Negotiation.	ICMAS	2000	DBLP DOI BibTeX RDF
17	Stan Rifkin	When the project absolutely must get done: marrying the organization chart with the precedence diagram.	ICSE	2000	DBLP DOI BibTeX RDF	micro-estimation, projection simulation, project management
17	Jaan Raik, Raimund Ubar	Sequential Circuit Test Generation Using Decision Diagram Models.	DATE	1999	DBLP DOI BibTeX RDF
17	Karsten Strehl, Lothar Thiele	Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.	DATE	1999	DBLP DOI BibTeX RDF
17	E. K. Ogoubi, Eduard Cerny	Synthesis of checker EFSMs from timing diagram specifications.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
17	Heiko Lehmann	Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem.	EUROCAST	1999	DBLP DOI BibTeX RDF
17	James H. Cross II, T. Dean Hendrix, Saeed Maghsoodloo	The Control Structure Diagram: An Overview and Initial Evaluation.	Empir. Softw. Eng.	1998	DBLP DOI BibTeX RDF	Ada, reverse engineering, software visualization, empirical evaluation, graphical representation
17	Xiao-Shan Gao	Automated Geometry Diagram Construction and Engineering Geometry.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
17	Mohamadou Diallo, Afonso Ferreira, Andrew Rau-Chaplin	Communication-Efficient Deterministic Parallel Algorithms for Planar Point Location and 2d Voronoi Diagram.	STACS	1998	DBLP DOI BibTeX RDF
17	Jian Chen	The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Hierarchical dependence, Independence principle, Design for reuse, Reusability, Object-oriented software
17	Lars Arge	The I/O - Complexity of Ordered Binary - Decision Diagram Manipulation.	ISAAC	1995	DBLP DOI BibTeX RDF
17	Evanthia Papadopoulou, D. T. Lee	Efficient Computation of the Geodesic Voronoi Diagram of Points in a Simple Polygon (Extended Abstract).	ESA	1995	DBLP DOI BibTeX RDF
17	Cao An Wang, Francis Y. L. Chin	Finding the Constrained Delaunay Triangulation and Constrainted Voronoi Diagram of a Simple Polygon in Linear-Time (Extended Abstract).	ESA	1995	DBLP DOI BibTeX RDF
17	Gene Golovchinsky, Klaus Reichenberger, Thomas Kamps	Subverting Structure: Data-Driven Diagram Generation.	IEEE Visualization	1995	DBLP DOI BibTeX RDF
17	Seiichiro Tani, Hiroshi Imai	A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs.	ISAAC	1994	DBLP DOI BibTeX RDF
17	Piotr Berman, Andrzej Lingas	A Nearly Optimal Parallel Algorithm for the Voronoi Diagram of a Convex Polygon.	SWAT	1994	DBLP DOI BibTeX RDF
17	Srinivas Devadas	Comparing two-level and ordered binary decision diagram representations of logic functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
17	Saimond Ip, Tony Holden	A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram.	CAiSE	1992	DBLP DOI BibTeX RDF
17	C. S. Jeong	An improved parallel algorithm for construction Voronoi diagram on a mesh-connected computer.	SPDP	1990	DBLP DOI BibTeX RDF
17	Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima	Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram.	DAC	1990	DBLP DOI BibTeX RDF
17	Wolfgang Borutzky	Combining Behavioral Block Diagram Modelling with Circuit Simulation.	EUROCAST	1989	DBLP DOI BibTeX RDF	mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems
17	Boris Aronov	On the Geodesic Voronoi Diagram of Point Sites in a Simple Polygon.	SCG	1987	DBLP DOI BibTeX RDF
17	David B. Lomet	A Formalization of Transition Diagram Systems.	J. ACM	1973	DBLP DOI BibTeX RDF
17	Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
17	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
17	Jinhui Xu 0001, Lei Xu 0006, Evanthia Papadopoulou	Computing the Map of Geometric Minimal Cuts.	ISAAC	2009	DBLP DOI BibTeX RDF
17	Ying Zhu 0001, Xiaoyuan Suo, G. Scott Owen	A Visual Data Exploration Framework for Complex Problem Solving Based on Extended Cognitive Fit Theory.	ISVC (2)	2009	DBLP DOI BibTeX RDF	Cognitive Fit, information visualization, task
17	Tevfik Bultan, Chris Ferguson, Xiang Fu 0001	A Tool for Choreography Analysis Using Collaboration Diagrams.	ICWS	2009	DBLP DOI BibTeX RDF
17	Daniel Borchmann, Bernhard Ganter	Concept Lattice Orbifolds - First Steps.	ICFCA	2009	DBLP DOI BibTeX RDF
17	Andreas Stoffel, Ernesto Tapia, Raúl Rojas 0001	Recognition of On-Line Handwritten Commutative Diagrams.	ICDAR	2009	DBLP DOI BibTeX RDF
17	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
17	Lijun Shan, Hong Zhu 0002	A Formal Descriptive Semantics of UML.	ICFEM	2008	DBLP DOI BibTeX RDF
17	Zaineb Ben Fredj, David A. Duce	GraSSML: accessible smart schematic diagrams for all.	Univers. Access Inf. Soc.	2007	DBLP DOI BibTeX RDF	Smart diagrams, Semantic Web, Semantics, Accessibility, SVG
17	David Maxwell Chickering, Tim Paek	Personalizing influence diagrams: applying online learning strategies to dialogue management.	User Model. User Adapt. Interact.	2007	DBLP DOI BibTeX RDF	User-model adaptation, Personalization, Speech recognition, Planning, Influence diagrams, Dialogue management
17	David Cohen-Steiner, Herbert Edelsbrunner, John Harer	Stability of Persistence Diagrams.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
17	Jeremy Carroll, Frank Ruskey, Mark Weston	Which n-Venn Diagrams Can Be Drawn with Convex k-Gons?	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
17	Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani	A Suggestion for Analysis of Unexpected Obstacles in Embedded System.	HCI (8)	2007	DBLP DOI BibTeX RDF
17	Sonja Maier, Mark Minas	A Generic Layout Algorithm for Meta-model Based Editors.	AGTIVE	2007	DBLP DOI BibTeX RDF
17	Sapna P. G., Hrushikesha Mohanty	Ensuring Consistency in Relational Repository of UML Models.	ICIT	2007	DBLP DOI BibTeX RDF
17	Anelia Popandreeva	Object-oriented analysis and design using UML of a test "Rotation with sample".	CompSysTech	2007	DBLP DOI BibTeX RDF	UML, test, neuropsychology, OOD, OOA
17	Pete G. Thomas, Neil Smith, Kevin G. Waugh	Computer assisted assessment of diagrams.	ITiCSE	2007	DBLP DOI BibTeX RDF	feedback, diagrams, automatic marking
17	Hui Du, Renchu Gan, Kecheng Liu, Zhenji Zhang, Darren Booy	Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Annotation model, Performance, UML, Information system, Architecture design
17	Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda	State Transition Model for Test Sequence Generation of MANET Clustering Protocols.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
17	Haim Kaplan, Micha Sharir	Randomized incremental constructions of three-dimensional convex hulls and planar voronoi diagrams, and approximate range counting.	SODA	2006	DBLP DOI BibTeX RDF
17	Honghua Cao, Shi Ying, Dehui Du	Towards Model-based Verification of BPEL with Model Checking.	CIT	2006	DBLP DOI BibTeX RDF
17	Zaineb Ben Fredj, David A. Duce	GraSSML: accessible smart schematic diagrams for all.	W4A	2006	DBLP DOI BibTeX RDF	smart diagrams, XML, semantic web, semantics, accessibility, OWL, RDF, structure, SVG, SPARQL
17	Anna Queralt, Ernest Teniente	Reasoning on UML Class Diagrams with OCL Constraints.	ER	2006	DBLP DOI BibTeX RDF
17	Tim Hannan, Alex Pogel	Spring-Based Lattice Drawing Highlighting Conceptual Similarity.	ICFCA	2006	DBLP DOI BibTeX RDF
17	Isaac Agudo, Javier López 0001, José A. Montenegro	Graphical Representation of Authorization Policies for Weighted Credentials.	ACISP	2006	DBLP DOI BibTeX RDF
17	Willy Govaerts, Bart Sautois	The Onset and Extinction of Neural Spiking: A Numerical Bifurcation Approach.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	Morris-Lecar, spiking, classification, neural models
17	Jürgen Börstler	Improving CRC-card role-play with role-play diagrams.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	scenario role-play, introductory programming
17	Tetsuro Katayama, Yusuke Yabuya	Proposal of a Method to Support Testing for Java Programs with UML.	APSEC	2005	DBLP DOI BibTeX RDF	test items, Java, Unified Modeling Language (UML), software testing, functional testing
17	Eun-Hye Choi, Hiroshi Watanabe	Model Checking Class Specifications forWeb Applications.	APSEC	2005	DBLP DOI BibTeX RDF
17	Gill Barequet, Yuval Scharf, Matthew T. Dickerson	Covering points with a polygon.	SCG	2005	DBLP DOI BibTeX RDF	covering points
17	David Cohen-Steiner, Herbert Edelsbrunner, John Harer	Stability of persistence diagrams.	SCG	2005	DBLP DOI BibTeX RDF	stability, persistence, continuous functions, homology groups, combinatorial topology
17	Thomas Raimbault, David Genest, Stéphane Loiseau	A New Method to Interrogate and Check UML Class Diagrams.	ICCS	2005	DBLP DOI BibTeX RDF
17	Michael Wybrow, Kim Marriott, Peter J. Stuckey	Incremental Connector Routing.	GD	2005	DBLP DOI BibTeX RDF
17	Andrew Fish, Judith Masthoff	An Experimental Study into the Default Reading of Constraint Diagrams.	VL/HCC	2005	DBLP DOI BibTeX RDF
17	Dae-Kyoo Kim	Evaluating Conformance of UML Models to Design Patterns.	ICECCS	2005	DBLP DOI BibTeX RDF	pattern specification, pattern tools, UML, Design pattern, object-oriented model
17	Manuel Gómez, Concha Bielza	Node deletion sequences in influence diagrams using genetic algorithms.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	node deletion sequence, genetic algorithms, statistical analysis, NP-hard problems, influence diagrams, decision-making under uncertainty
17	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
17	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
17	Richard D. Wesel	Reduced-state representations for trellis codes using constellation symmetry.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
17	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
17	Kevin Burns	Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.	Diagrams	2004	DBLP DOI BibTeX RDF
17	Gem Stapleton, John Howse, John Taylor 0001, Simon J. Thompson	What Can Spider Diagrams Say?	Diagrams	2004	DBLP DOI BibTeX RDF
17	Pourang Irani	Notations for Software Engineering Class Structures.	Diagrams	2004	DBLP DOI BibTeX RDF
17	Paul Mutton, Peter Rodgers 0001, Jean Flower	Drawing Graphs in Euler Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF
17	Pourang Irani, Colin Ware	The Effect of a Perceptual Syntax on the Learnability of Novel Concepts.	IV	2004	DBLP DOI BibTeX RDF	software engineering visualization, geon theory, semantic learning, software engineering, object recognition, perception, Pedagogy, UML diagrams
17	Marco Torchiano	Empirical Assessment of UML Static Object Diagrams.	IWPC	2004	DBLP DOI BibTeX RDF
17	Margaret Hilsbos, Il-Yeol Song	Use of Tabular Analysis Method to Construct UML Sequence Diagrams.	ER	2004	DBLP DOI BibTeX RDF
17	Thomas Arts, Koen Claessen, Hans Svensson	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.	FATES	2004	DBLP DOI BibTeX RDF
17	Yonghua Zhou, Yuliu Chen, Huapu Lu	UML-based systems integration modeling technique for the design and development of intelligent transportation management system.	SMC (7)	2004	DBLP DOI BibTeX RDF
17	David A. Wagner 0001	Towards a Unifying View of Block Cipher Cryptanalysis.	FSE	2004	DBLP DOI BibTeX RDF
17	Sehl Mellouli, Guy W. Mineau, Bernard Moulin	Situation Event Logic for Early Validation of Multi-Agent Systems.	AI	2003	DBLP DOI BibTeX RDF
17	J. B. Wells, Detlef Plump, Fairouz Kamareddine	Diagrams for Meaning Preservation.	RTA	2003	DBLP DOI BibTeX RDF
17	Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, Joseph S. B. Mitchell, T. M. Murali 0001	New Similarity Measures between Polylines with Applications to Morphing and Polygon Sweeping.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
17	B. Chandrasekaran 0001	What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications.	Diagrams	2002	DBLP DOI BibTeX RDF