Search results for "diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Helen C. Purchase, Linda Colpoys, Matthew McGill, David A. Carrington	UML Collaboration Diagram Syntax: An Empirical Study of Comprehension.	VISSOFT	2002	DBLP DOI BibTeX RDF
22	Paolo Tonella, Alessandra Potrich	Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram.	ICSM	2002	DBLP DOI BibTeX RDF
22	Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler	Decision Diagram Method for Calculation of Pruned Walsh Transform.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Walsh, pruned spectrum, Logic synthesis, BDD, spectral techniques
22	Wei Lai	Layout Adjustment and Boundary Detection for a Diagram.	Computer Graphics International	2001	DBLP DOI BibTeX RDF
22	Kei Kobayashi, Kokichi Sugihara	Crystal Voronoi Diagram and Its Applications to Collision-Free Paths.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
22	Kim Marriott, Bernd Meyer 0001	Non-standard Logics for Diagram Interpretation.	Diagrams	2000	DBLP DOI BibTeX RDF
22	Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce	Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.	WMP	2000	DBLP DOI BibTeX RDF
22	José Luis Fernández-Villacañas Martín	A New Evolutionary Diagram: Application to BTGP and Information Retrieval.	IWANN (2)	1999	DBLP DOI BibTeX RDF
22	Robert P. Futrelle	Ambiguity in Visual Language Theory and Its Role in Diagram Parsing.	VL	1999	DBLP DOI BibTeX RDF
22	Kathi Fisler	Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable.	CAV	1997	DBLP DOI BibTeX RDF
22	Christoph Burnikel, Kurt Mehlhorn, Stefan Schirra	How to Compute the Voronoi Diagram of Line Segments: Theoretical and Experimental Results.	ESA	1994	DBLP DOI BibTeX RDF
22	Sanguthevar Rajasekaran, Suneeta Ramaswami	Optimal Parallel Randomized Algorithms for the Voronoi Diagram of Line Segments in the Plane and Related Problems.	SCG	1994	DBLP DOI BibTeX RDF
22	Rolf Klein, Andrzej Lingas	A Linear-Time Randomized Algorithm for the Bounded Voronoi Diagram of a Simple Polygon.	SCG	1993	DBLP DOI BibTeX RDF
22	Sumanta Guha, Ichiro Suzuki	Proximity Problems and the Voronoi Diagram an a Rectilinear Plane with Rectangular Obstacles.	FSTTCS	1993	DBLP DOI BibTeX RDF
22	Kelly A. Lyons, Henk Meijer, David Rappaport	Properties of the voronoi diagram cluster buster.	CASCON	1993	DBLP BibTeX RDF
22	Joseph A. Goguen, José Meseguer 0001	Correctness of Recursive Flow Diagram Programs.	MFCS	1977	DBLP DOI BibTeX RDF
22	David L. Millman, Jack Snoeyink	Computing planar Voronoi diagrams in double precision: a further example of degree-driven algorithm design.	SCG	2010	DBLP DOI BibTeX RDF	low-degree primitives, reduced precision, robust computation, voronoi diagrams
22	Akitoshi Kawamura, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams in Euclidean spaces and in other normed spaces.	SCG	2010	DBLP DOI BibTeX RDF	knaster-tarski fixed point theorem, zone diagrams
22	Matthew T. Dickerson, David Eppstein	Animating a continuous family of two-site Voronoi diagrams (and a proof of a bound on the number of regions).	SCG	2009	DBLP DOI BibTeX RDF	two-site distance functions, complexity, animation, Voronoi diagrams
22	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
22	John Mumma	Ensuring Generality in Euclid's Diagrammatic Arguments.	Diagrams	2008	DBLP DOI BibTeX RDF
22	Amit Raj, T. V. Prabhakar, Stan Hendryx	Transformation of SBVR business design to UML models.	ISEC	2008	DBLP DOI BibTeX RDF	business design, production rule representation, UML, model driven architecture, business rules, SBVR
22	Henk Koning, Rik Bos, Sjaak Brinkkemper	A Lightweight Method for the Modelling of Enterprise Architectures.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	enterprise functions, applications, feedback, Enterprise architecture, views, modelling method
22	Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon	Hierarchical Set Decision Diagrams and Automatic Saturation.	Petri Nets	2008	DBLP DOI BibTeX RDF	Hierarchical Decision Diagrams, Model Checking, Saturation
22	Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.	ICST	2008	DBLP DOI BibTeX RDF	UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis
22	Hang Zhou 0002, Zhiqiu Huang, Yi Zhu 0008	Polymorphism Sequence Diagrams Test Data Automatic Generation Based on OCL.	ICYCS	2008	DBLP DOI BibTeX RDF
22	Florian Brieler, Mark Minas	Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis.	AVI	2008	DBLP DOI BibTeX RDF	DiaGen, ambiguity resolution, hand drawing, model, recognition, sketching
22	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
22	Ludovic Auxepaules, Dominique Py, Thierry Lemeunier	A Diagnosis Method that Matches Class Diagrams in a Learning Environment for Object-Oriented Modeling.	ICALT	2008	DBLP DOI BibTeX RDF
22	Mathilde Alonso, Dominique Py, Thierry Lemeunier	A Learning Environment for Object-Oriented Modeling, Supporting Metacognitive Regulations.	ICALT	2008	DBLP DOI BibTeX RDF
22	Tetsuo Asano, Jirí Matousek 0001, Takeshi Tokuyama	Zone diagrams: existence, uniqueness and algorithmic challenge.	SODA	2007	DBLP BibTeX RDF
22	Yusuke Matsumoto, Keiko Imai, Hisashi Suzuki	Curved Voronoi Diagrams Consisting of Influence Areas with Differentiable Boundaries.	ISVD	2007	DBLP DOI BibTeX RDF
22	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
22	YunJung Ko	Business Process Modeling of the Photonics Industry Using the UMM.	ICCSA (1)	2007	DBLP DOI BibTeX RDF
22	Hyunjeong Lee, Hyunjin Kim, Changsu Kim 0003	Autonomous behavior design for robotic appliance.	HRI	2007	DBLP DOI BibTeX RDF	behavior design, robot appliance, interaction design, human-robot interaction, service robots, domestic robots
22	Yutaka Sakaguchi	A System Model for Real-Time Sensorimotor Processing in Brain.	ICONIP (1)	2007	DBLP DOI BibTeX RDF
22	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
22	Frank Ruskey, Mark Weston	More Fun with Symmetric Venn Diagrams.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
22	Quan Long, Zhiming Liu 0001, Xiaoshan Li, Jifeng He 0001	Consistent Code Generation from UML Models.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF	UTP, UML, Semantics, Object Orientation, Consistency, Code generation
22	Wei Lai, Donggang Yu, Jiro Tanaka, Cai Fei	Using Image Contour Recognition in GIS Navigation.	ICITA (1)	2005	DBLP DOI BibTeX RDF
22	Jeffrey V. Nickerson	The Meaning of Arrows: Diagrams and Other Facets in System Sciences Literature.	HICSS	2005	DBLP DOI BibTeX RDF
22	Min Song 0001, Il-Yeol Song, Peter P. Chen	Design and Development of a Cross Search Engine for Multiple Heterogeneous Databases Using UML and Design Patterns.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	object-oriented system design & analysis, information retrieval, design patterns, search engine, web-based system
22	Marc J. van Kreveld, Étienne Schramm, Alexander Wolff 0001	Algorithms for the placement of diagrams on maps.	GIS	2004	DBLP DOI BibTeX RDF	cartographic visualization, placement algorithms
22	Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki	EVALPSN Based Railway Interlocking Simulator.	KES	2004	DBLP DOI BibTeX RDF	intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning
22	Boris Aronov, Marc J. van Kreveld, René van Oostrum, Kasturi R. Varadarajan	Facility Location on a Polyhedral Surface.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
22	Andrew Fish, John Howse	Computing Reading Trees for Constraint Diagrams.	AGTIVE	2003	DBLP DOI BibTeX RDF
22	Zaineb Ben Fredj, David A. Duce	Schematic Diagrams, XML and Accessibility.	TPCG	2003	DBLP DOI BibTeX RDF
22	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
22	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
22	Jean Flower, John Howse	Generating Euler Diagrams.	Diagrams	2002	DBLP DOI BibTeX RDF
22	Andrew S. Miner	Efficient State Space Generation of GSPNs using Decision Diagrams.	DSN	2002	DBLP DOI BibTeX RDF
22	Motoshi Saeki	Role of Model Transformation in Method Engineering.	CAiSE	2002	DBLP DOI BibTeX RDF
22	Carol Britton, Maria Kutar, Sue Anthony, Trevor Barker, Sarah Beecham, Vitoria Wilkinson	An Empirical Study of User Preference and Performance with UML Diagrams.	HCC	2002	DBLP DOI BibTeX RDF
22	Ana L. Milanova, Atanas Rountev, Barbara G. Ryder	Constructing Precise Object Relation Diagrams.	ICSM	2002	DBLP DOI BibTeX RDF
22	Dorothea Blostein, Edward Lank, Richard Zanibbi	Treatment of Diagrams in Document Image Analysis.	Diagrams	2000	DBLP DOI BibTeX RDF
22	J. Jenny Li, Joseph Robert Horgan	A Tool Suite for Diagnosis and Testing of Software Design Specifications.	DSN	2000	DBLP DOI BibTeX RDF	Software design specification, xSuds and Specification and Description Language (SDL [2]), software engineering tool, coverage testing
22	Richard Cole 0002	Automated Layout of Concept Lattices Using Force Directed Placement and Genetic Algorithms.	ACSC	2000	DBLP DOI BibTeX RDF
22	Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	The FUJABA environment.	ICSE	2000	DBLP DOI BibTeX RDF	Java, UML
22	Dominique Schmitt, Jean-Claude Spehner	Angular Properties of Delaunay Diagrams in Any Dimension.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
22	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
22	Evanthia Papadopoulou	Linfinity Voronoi Diagrams and Applications to VLSI Layout and Manufacturing.	ISAAC	1998	DBLP DOI BibTeX RDF
22	Jae Kyeong Kim, Seok Chin Chu	Analyzing a Class of Decision Problems: Neural Network Based Approach.	HICSS (5)	1998	DBLP DOI BibTeX RDF
22	Chien-Tsai Liu, Shi-Kuo Chang, Panos K. Chrysanthis	Database schema Evolution Using EVER Diagrams.	Advanced Visual Interfaces	1994	DBLP DOI BibTeX RDF
22	Kazuo Sugihara, Kazunari Yamamoto, Isao Miyamoto	Automatic Layout of Diagrams for Software Specification.	SEKE	1992	DBLP DOI BibTeX RDF
22	Leonidas J. Guibas, Joseph S. B. Mitchell	Voronoi Diagrams of Moving Points in the Plane.	WG	1991	DBLP DOI BibTeX RDF
22	Otfried Schwarzkopf	Parallel Computation of Discrete Voronoi Diagrams (Extended Abstract).	STACS	1989	DBLP DOI BibTeX RDF
22	L. Paul Chew, Robert L. (Scot) Drysdale III	Voronoi diagrams based on convex distance functions.	SCG	1985	DBLP DOI BibTeX RDF
22	Martin Manak, Ivana Kolingerová	Fast Discovery of Voronoi Vertices in the Construction of Voronoi Diagram of 3D Balls.	ISVD	2010	DBLP DOI BibTeX RDF	Voronoi diagram of spheres, edge tracing, computational geometry, feasible regions
22	Kokichi Sugihara	Voronoi-Diagram Approach to Escher-Like Tiling.	ISVD	2010	DBLP DOI BibTeX RDF	Escher, computer-aided design, Voronoi diagram, tiling
22	Masayuki Minoura, Norihiko Shinomiya, Kazuyuki Tajima, Takuya Miyashita, Motoyoshi Sekiya	An Evaluation Technique Using Network Voronoi Diagram for Balanced Optical Network Design.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Network Voronoi diagram, distribution balance, network design
22	Anne Gross, Jörg Dörr	EPC vs. UML Activity Diagram - Two Experiments Examining their Usefulness for Requirements Engineering.	RE	2009	DBLP DOI BibTeX RDF	Experiment, Process Modeling, Requirements Specification, UML Activity Diagram, Event-driven Process Chain
22	Xiwen Qin, Shuqing Zhang, Xiaogang Dong, Hongxing Jiang, Fawen Qian	Impact of Human Activities on Red-Crowned Crane Nest-Sites Based on Voronoi Diagram.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	Red-crowned Crane, Voronoi diagram, spatial pattern
22	Ruiyun Yu, Xingwei Wang 0001, Jie Li 0008	Joint Consideration of Entropy and Voronoi Diagram for Sensor Network Deployment.	HIS (2)	2009	DBLP DOI BibTeX RDF	sensor networks, Entropy, Voronoi diagram, deployment
22	Lizhong Jin, Guiran Chang, Dan Jiang, Xingwei Wang 0001	Research on the Discovery of Blind Spots in Wireless Sensor Networks Based on Voronoi Diagram.	HIS (2)	2009	DBLP DOI BibTeX RDF	coverage blind spot, blind spot discovery, Wireless sensor networks, Voronoi diagram
22	Kefeng Xuan, Geng Zhao 0004, David Taniar, Bala Srinivasan 0002, Maytham Safar, Marina L. Gavrilova	Network Voronoi Diagram Based Range Search.	AINA	2009	DBLP DOI BibTeX RDF	Mobile Query Processing, Query Processing, Voronoi Diagram, Spatial Databases, Mobile Databases, Spatial Query Processing
22	Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang	An Algorithm about Transforming PLC Ladder Diagram to Instruction List Based on Series-Parallel Merging Method.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	ladder diagram, instruction list, PLC
22	Feihu Hu, Liang Fu, Le Liu, Guanqun Zhang	A Soft PLC Ladder Diagram Edit Software Implemented Based on Table Technology.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	ladder diagram, Soft PLC, table
22	Bin Lei, Linzhang Wang, Xuandong Li	UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.	ICST	2008	DBLP DOI BibTeX RDF	race condition, UML activity diagram
22	Yves Lafont, Pierre Rannou	Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks.	RTA	2008	DBLP DOI BibTeX RDF	critical pair, diagram rewriting, Zamolodchikov, orthogonal matrix
22	Mark Grechanik, Kathryn S. McKinley, Dewayne E. Perry	Recovering and using use-case-diagram-to-source-code traceability links.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	LeanArt, traceability links, machine learning, program analysis, use case diagram
22	Lu Wang 0007, Chenglei Yang, Meng Qi, Rui Wang, Xiangxu Meng, Xiaoting Wang	Design of a Walkthrough System for Virtual Museum Based on Voronoi Diagram.	ISVD	2006	DBLP DOI BibTeX RDF	Voronoi Diagram, collision detection, path planning, cooperative design, virtual museum, visibility culling, interactive walkthrough
22	Shinichi Fukushige, Hiromasa Suzuki	Voronoi diagram depth sorting for polygon visibility ordering.	GRAPHITE	2006	DBLP DOI BibTeX RDF	depth sorting, transparency rendering, Voronoi diagram, visibility determination
22	Florence Cloppet, Jean-Michel Oliva, Georges Stamon	Angular Bisector Network, a Simplified Generalized Voronoi Diagram: Application to Processing Complex Intersections in Biomedical Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	generalized Voronoi diagram, graph theory, skeleton, Shape descriptors
22	Gary T. Leavens, Tim Wahls, Albert L. Baker	Formal Semantics for SA Style Data Flow Diagram Specification Languages.	SAC	1999	DBLP DOI BibTeX RDF	semantics of formal specification languages, concurrency, refinement, structured analysis, data flow diagram
22	Dong Kwan Kim, Hyo Taeg Jung, Chae Kyu Kim	Techniques for Systematically Generating Framework Diagram based on UML.	APSEC	1998	DBLP DOI BibTeX RDF	Framework Diagram, Unified Modeling Language(UML), Interface, Reuse, Object-Oriented Framework, Control Flow
22	Sitt Chen Chok, Kim Marriott	Automatic Construction of Intelligent Diagram Editors.	ACM Symposium on User Interface Software and Technology	1998	DBLP DOI BibTeX RDF	intelligent diagram, visual language, parsing, pen-based computing, constraint solver
22	Andrea R. Kennel	Audiograf: A Diagram-Reader for the Blind.	International ACM Conference on Assistive Technologies	1996	DBLP DOI BibTeX RDF	reading-aid, usability, diagram, blind users, auditory user interfaces
22	Naotake Kamiura, Yutaka Hata, Kazuharu Yamato	A cellular array designed from a Multiple-valued Decision Diagram and its fault tests.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	multiple-valued decision diagram, fault tests, testable cellular arrays, VLSI, fault diagnosis, logic testing, logic CAD, cellular arrays, cellular array, multivalued logic circuits, switch functions, multiple stuck-at faults
22	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane	FOCS	1993	DBLP DOI BibTeX RDF	convex m-gon, compact piecewise-linear Voronoi diagram, convex sites, post-office problem, query site, retraction motion planning, one-dimensional retract, k disjoint convex sets, deterministic time, polygons, Euclidean metric
22	Suman Purwar	An Efficient Method of Computing Generalized Reed-Muller Expansions from Binary Decision Diagram.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	generalized Reed-Muller expansions, minterm values, Boolean function, Boolean functions, variables, binary decision diagram, minimisation of switching nets
22	Jerry Waxman, Jacob Rootenberg	Logic Circuit for Cycle Detection in a State Diagram.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Complexity, hardware, state diagram, cycle detection
22	Manoli Albert, Jordi Cabot, Cristina Gómez 0001, Vicente Pelechano	Automatic generation of basic behavior schemas from UML class diagrams.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF	Behavior schema, Structural event, UML, OCL, Operation, Class diagram
22	Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fieguth, David A. Clausi	VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics.	ICIAR	2009	DBLP DOI BibTeX RDF	Online hand-drawn diagram recognition, hypothesis generation and evaluation, stroke-based recognition
22	Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed	Patterns for Modeling and Composing Workflows from Grid Services.	ICEIS	2009	DBLP DOI BibTeX RDF	MDA approach, Semantic Composition, Workflow, Grid Services, UML-Activity Diagram
22	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Daniel Ramírez-Martínez	A software tool for verification of Spiking Neural P Systems.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Transition diagram, Membrane computing, Spiking Neural P systems
22	Elizabeth L. Murnane, Vineet Sinha	Interactive exploration of compacted visualizations for understanding behavior in complex software.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	diagram compression, interaction, reverse engineering, software visualization, exploration, complex software systems, software behavior
22	Elizabeth L. Murnane, Vineet Sinha	Interactive exploration of compacted visualizations for understanding behavior in complex software.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	diagram compression, interaction, reverse engineering, software visualization, exploration, complex software systems, software behavior
22	Cagatay Goncu, Kim Marriott	Tactile chart generation tool.	ASSETS	2008	DBLP DOI BibTeX RDF	tactile diagram, accessibility
22	Oussama Metatla, Nick Bryan-Kinns, Tony Stockman	Constructing relational diagrams in audio: the multiple perspective hierarchical approach.	ASSETS	2008	DBLP DOI BibTeX RDF	diagram construction, interaction strategies, non-visual representations, accessibility, hierarchies, auditory display, multiple perspectives
22	Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini	A Comparative Evaluation of Tests Generated from Different UML Diagrams.	SNPD	2008	DBLP DOI BibTeX RDF	Software Testing, Model-based Testing, UML Diagram