Search results for "diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Menelaos I. Karavelas, Mariette Yvinec	Dynamic Additively Weighted Voronoi Diagrams in 2D.	ESA	2002	DBLP DOI BibTeX RDF
17	Elizabeth Burd, Dawn Overy, Ady Wheetman	Evaluating Using Animation to Improve Understanding of Sequence Diagrams.	IWPC	2002	DBLP DOI BibTeX RDF
17	Peretz Shoval, Revital Danoch, Mira Balaban	Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
17	Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero 0001	Assessing Object-Oriented Conceptual Models Maintainability.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
17	James Arvo	Techniques for Interactive Graph Drawing.	GD	2002	DBLP DOI BibTeX RDF
17	Arnaud Cachia, Jean-François Mangin, Denis Rivière, Dimitri Papadopoulos-Orfanos, Isabelle Bloch, Jean Régis	Gyral Parcellation of the Cortical Surface Using Geodesic Voronoï Diagrams.	MICCAI (1)	2002	DBLP DOI BibTeX RDF
17	Henning Dierks, Marc Lettrari	Constructing Test Automata from Graphical Real-Time Requirements.	FTRTFT	2002	DBLP DOI BibTeX RDF
17	Jeffrey D. Campbell	Characteristics of Group Development of Diagrams.	WETICE	2002	DBLP DOI BibTeX RDF
17	Mark Minas, Frank Strüber	Unparsing of Diagrams with DiaGen.	ICGT	2002	DBLP DOI BibTeX RDF
17	Evanthia Papadopoulou	Critical area computation for missing material defects in VLSIcircuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
17	Pourang Irani, Maureen Tingley, Colin Ware	Using Perceptual Syntax to Enhance Semantic Content in Diagrams.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
17	Xiaoying Wu, Tok Wang Ling, Mong-Li Lee, Gillian Dobbie	Designing Semistructured Databases Using ORA-SS Model.	WISE (1)	2001	DBLP DOI BibTeX RDF
17	Il-Yeol Song	Developing Sequence Diagrams in UML.	ER	2001	DBLP DOI BibTeX RDF
17	Menelaos I. Karavelas	Voronoi Diagrams for Moving Disks and Applications.	WADS	2001	DBLP DOI BibTeX RDF
17	Barbara Klemm, Marie Iding, Martha E. Crosby	Polygraph Diagrams for Holistic Visualization of Data Sets using Multiple-Units of Analysis.	HICSS	2001	DBLP DOI BibTeX RDF	Diagramming notation, patterns of data, visual literacy, schematic representations, graphic organizer, data visualization, graphic design, illustrations
17	Jaime Solano-Soto, Luis Enrique Sucar	A Methodology for Reliable Systems Design.	IEA/AIE	2001	DBLP DOI BibTeX RDF
17	Stefan Gruner, Murat Kurt	Diagrammatic Control of Diagrammatic Structure Generation.	Diagrams	2000	DBLP DOI BibTeX RDF
17	Jaime Gómez, Cristina Cachero, Oscar Pastor 0001	Extending a Conceptual Modelling Approach to Web Application Design.	CAiSE	2000	DBLP DOI BibTeX RDF
17	Cristina Cachero, Jaime Gómez, Oscar Pastor 0001	Object-Oriented Conceptual Modeling of Web Application Interfaces: the OO-HMethod Abstract Presentation Model.	EC-Web	2000	DBLP DOI BibTeX RDF
17	Morteza Esmaeili, T. Aaron Gulliver, Norman P. Secord	The Minimal Generator Matrix of a Vector Space.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Trellis oriented generator matrix, Atomic vectors, Linear block codes
17	Jungpil Hahn, Jinwoo Kim 0001	Why are some diagrams easier to work with? Effects of diagrammatic representation on the cognitive intergration process of systems analysis and design.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	diagrammatic manipulation, diagrammatic representation, visual grammar, GOMS
17	Takayoshi Noguchi, Jiro Tanaka	Interactive Layout Method for Object Diagrams of OMT.	APSEC	1999	DBLP DOI BibTeX RDF	software development tool, object-oriented methodology
17	Joon-Sang Lee, Tae-Ho Kim, Gwang Sik Yoon, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae	Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Unified Modeling Language (UML).	ISADS	1999	DBLP DOI BibTeX RDF
17	Stefan Sauer 0001, Gregor Engels	Extending UML for Modeling of Multimedia Applications.	VL	1999	DBLP DOI BibTeX RDF
17	Zohar Manna	Visual Verification of Temporal Properties.	TIME	1999	DBLP DOI BibTeX RDF
17	Edward D. Willink, Alexander V. Shafarenko, Vyacheslav B. Muchnick	Use of F-Code as a Very High Level Intermediate Language for DSP.	Euro-Par	1997	DBLP DOI BibTeX RDF
17	Rolf Klein, Andrzej Lingas	Hamiltonian Abstract Voronoi Diagrams in Linear Time.	ISAAC	1994	DBLP DOI BibTeX RDF	abstract Voronoi diagrams, Computational geometry, Voronoi diagrams, convex polygons
17	David Chenho Kung, Jerry Gao 0002, Pei Hsia	An object oriented testing and maintenance environment.	CASCON	1994	DBLP BibTeX RDF
17	Kenneth W. Fertig, John S. Breese	Probability Intervals Over Influence Diagrams.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation
17	K. P. Ta, T. C. Tan	Layout Algorithms for DFD Processors.	SEKE	1992	DBLP DOI BibTeX RDF
17	Timothy Arndt, Angela Guercio	Decomposition of Data Flow Diagrams.	SEKE	1992	DBLP DOI BibTeX RDF
17	Tony W. Lai, Derick Wood	A Relationship Between Self-Organizing Lists and Binary Search Trees.	ICCI	1991	DBLP DOI BibTeX RDF
17	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Formal boolean manipulations for the verification of sequential machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	F. Evans, Jan Jantzen	A Structured Approach to Analysis and Design of Complex Systems.	APL	1990	DBLP DOI BibTeX RDF	APL
17	Jyh-Jong Fu, Richard C. T. Lee	Voronoi Diagrams of Moving Points in the Plane.	FSTTCS	1990	DBLP DOI BibTeX RDF
17	Rex A. Dwyer	Higher-Dimensional Voronoi Diagrams in Linear Expected Time.	SCG	1989	DBLP DOI BibTeX RDF
17	Frank K. H. A. Dehne	Computing Digitized Voronoi Diagrams on a Systolic Screen and Applications to Clustering.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
17	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
17	Leonidas J. Guibas, Jorge Stolfi	Primitives for the Manipulation of General Subdivisions and Computation of Voronoi Diagrams.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF	Euler operators, Voronoi and Delaunay diagrams, representation of polynedra, trianglations, planar graphs, convex hull, computational topology, nearest neighbours, point location, geometric primitives, closest point
17	Herbert Edelsbrunner, Raimund Seidel	Voronoi diagrams and arrangements.	SCG	1985	DBLP DOI BibTeX RDF
17	Edward Babb	Functional requirements for very large knowledge bases.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
16	Xiaodong Liu 0018, Yifan Zhang, Gary K. Yeap, Chunlei Chu, Jian Sun 0005, Xuan Zeng 0001	Global routing and track assignment for flip-chip designs.	DAC	2010	DBLP DOI BibTeX RDF	flip-chip, track assignment, voronoi diagram, global routing
16	Robert Bembenik, Henryk Rybinski	FARICS: a method of mining spatial association rules and collocations using clustering and Delaunay diagrams.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Collocation rules, Delaunay diagram, Spatial data mining, Knowledge extraction, Spatial association rules
16	Sergey Diev	Querying complex requirements.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	complex requirements, content-diagram, network metaphor, requirements crystallization, requirements development, requirements set, requirements structure, visual editor, visual requirements, visual use case, VR, conceptual model, query, concept, use case model
16	Md. Muhibur Rasheed, Masud Hasan, M. Sohel Rahman	Maximum Neighbour Voronoi Games.	WALCOM	2009	DBLP DOI BibTeX RDF	Competitive facility location, Voronoi games, Voronoi diagram, Delaunay triangulation
16	Tetsuo Hasegawa, Yoshiaki Fukazawa	Model Checking by Generating Observers from an Interface Specification Between Components.	UNISCON	2009	DBLP DOI BibTeX RDF	model cheking, UML, timing diagram
16	Hai-Tao Zhang, Michael Z. Q. Chen, Tao Zhou 0001, Zhao Cheng, Pin-Ze Yu	Collective Behavior Coordination and Aggregation with Low-Cost Communication.	Complex (2)	2009	DBLP DOI BibTeX RDF	Vicsek model, communication, synchronization, state diagram
16	Wei Li 0039, Yousif I. Kamil, Athanassios Manikas	Wireless array based sensor relocation in mobile sensor networks.	IWCMC	2009	DBLP DOI BibTeX RDF	local detection diagram, wireless array, wireless sensor networks, mobility, coverage, beamforming, relocation, cooperative sensing
16	Ana Karoline Araújo de Castro, Plácido Rogério Pinheiro, Mirian Calíope Dantas Pinheiro	Towards the Neuropsychological Diagnosis of Alzheimer's Disease: A Hybrid Model in Decision Making.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Alzheimer’s disease, Multicriteria Method, Bayesian Network, Diagnosis, Influence Diagram
16	Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, Steve Oudot	Proximity of persistence modules and their diagrams.	SCG	2009	DBLP DOI BibTeX RDF	persistence diagram, topological data analysis, topological persistence, stability, discretization
16	Yuanshun Dai, Yanping Xiang, Gewei Zhang	Self-healing and Hybrid Diagnosis in Cloud Computing.	CloudCom	2009	DBLP DOI BibTeX RDF	Multivariate Decision diagram, Naïve Bayes, Autonomic computing, Self-healing
16	Yanic Inghelbrecht	Object-oriented design with trace modeler and Trace4J.	ITiCSE	2009	DBLP DOI BibTeX RDF	UML, unified modeling language, software development, tools, documentation, object-oriented design, trace, program visualization, sequence diagram, case tool, responsibility-driven design
16	Ana Karoline Araújo de Castro, Plácido Rogério Pinheiro, Mirian Calíope Dantas Pinheiro	An Approach for the Neuropsychological Diagnosis of Alzheimer's Disease: A Hybrid Model in Decision Making.	RSKT	2009	DBLP DOI BibTeX RDF	Alzheimer’s disease, Multicriteria Method, Bayesian Network, Diagnosis, Influence Diagram
16	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
16	Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter	A Diagrammatic Formalisation of MOF-Based Modelling Languages.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Meta-Object Facility, Eclipse Modeling Framework, Diagram Predicate Framework, diagrammatic specification, Unified Modeling Language, Model-Driven Engineering, Object Constraint Language
16	Tianlong Gu, Huadong Liu	The symbolic OBDD scheme for generating mechanical assembly sequences.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Assemble sequence planning, Assembly liaison graph, Assembly sequences generation, Ordered binary decision diagram
16	Kyriakos Christou, Maria K. Michael, Spyros Tragoudas	On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Zero-suppressed binary decision diagram, Irredundant sum-of-products, Critical path delay faults, Compact test generation, Delay testing, Path delay faults
16	Huaizhi Wu, Martin D. F. Wong, Wilsin Gosti	Postplacement voltage assignment under performance constraints.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	voltage assignment, Low power, timing, Voronoi diagram
16	Angela M. Kessell, Barbara Tversky	Cognitive Methods for Visualizing Space, Time, and Agents.	Diagrams	2008	DBLP DOI BibTeX RDF	agent, time, production, diagram, preference, space, comprehension
16	Toru Akishita, Masanobu Katagi, Yoshikazu Miyato, Asami Mizuno, Kyoji Shibutani	A Practical DPA Countermeasure with BDD Architecture.	CARDIS	2008	DBLP DOI BibTeX RDF	dual-rail pre-charge logic, DPA, Binary Decision Diagram, countermeasure
16	Niels Pinkwart, Collin F. Lynch, Kevin D. Ashley, Vincent Aleven	Re-evaluating LARGO in the Classroom: Are Diagrams Better Than Text for Teaching Argumentation Skills?.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Ill-defined Domains, Legal Argumentation, Diagram Representations, ITS Evaluation
16	Hung-Chin Jang, Ren-Wei Fang	Interference-aware topology control in wireless mesh network.	Mobility Conference	2008	DBLP DOI BibTeX RDF	delaunay triangulation algorithm, interference reduction, wireless mesh network, voronoi diagram, topology control
16	Soodeh Hosseini, Mohammad Abdollahi Azgomi	UML Model Refactoring with Emphasis on Behavior Preservation.	TASE	2008	DBLP DOI BibTeX RDF	Behavior Preservation, Control-Flow Diagram, ROOL, UML, Model Refactoring
16	Kevin Oo Tinmaung, David Howland, Russell Tessier	Power-aware FPGA logic synthesis using binary decision diagrams.	FPGA	2007	DBLP DOI BibTeX RDF	FPGA, binary decision diagram, dynamic power
16	Guoyong Shi, Weiwei Chen, C.-J. Richard Shi	A Graph Reduction Approach to Symbolic Circuit Analysis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	symbolic analog circuit simulator, symbolic circuit analysis, recursive sign determination algorithm, binary decision diagram, graph reduction
16	David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Symbolic Model Checking of Analog/Mixed-Signal Circuits.	ASP-DAC	2007	DBLP DOI BibTeX RDF	analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
16	Meng Qi, Chenglei Yang, Changhe Tu, Xiangxu Meng, Yuqing Sun 0001	A GPU-Based Algorithm for Building Stochastic Clustered-Dot Screens.	ISVC (1)	2007	DBLP DOI BibTeX RDF	stochastic clustered-dot screen, GPU, Voronoi Diagram, digital halftoning
16	Leandro Soares Indrusiak, Manfred Glesner	Specification of alternative execution semantics of UML sequence diagrams within actor-oriented models.	SBCCI	2007	DBLP DOI BibTeX RDF	actor-orientation, UML, embedded systems, sequence diagram, message sequence charts, electronic system level
16	Pil Gyeom Kim, Chang Gun Park, Yun Ho Jong, Jea ho Yun, Eun Jong Mo, Chin Su Kim, Min Seok Jie, Soo Chan Hwang, Kang Woong Lee	Obstacle Avoidance of a Mobile Robot Using Vision System and Ultrasonic Sensor.	ICIC (1)	2007	DBLP DOI BibTeX RDF	nearness diagram, mobile robot, obstacle avoidance, vision system, limit-cycle
16	Chenglei Yang, Meng Qi, Jiaye Wang, Xiaoting Wang, Xiangxu Meng	Shortest Path Queries in a Simple Polygon for 3D Virtual Museum.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Shortest Path, Voronoi Diagram, Virtual Museum
16	David E. Avison, Jan Pries-Heje	Flexible Information Systems Development: Designing an Appropriate Methodology for Different Situations.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	radar diagram, methodology, action research, information systems development, design science
16	Ickjai Lee, Vladimir Estivill-Castro	Fast Cluster Polygonization and its Applications in Data-Rich Environments.	GeoInformatica	2006	DBLP DOI BibTeX RDF	Cluster polygonization, Patterns and clusters, Delaunay diagram, Geographical data mining
16	Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz	Transformation of B specifications into UML class diagrams and state machines.	SAC	2006	DBLP DOI BibTeX RDF	UML, state machine, B method, class diagram
16	Tatsuya Ishihara, Hironobu Takagi, Takashi Itoh, Chieko Asakawa	Analyzing visual layout for a non-visual presentation-document interface.	ASSETS	2006	DBLP DOI BibTeX RDF	alternative interface, metadata, diagram, visual analysis
16	Kyriacos E. Pavlou, Richard T. Snodgrass	Forensic analysis of database tampering.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	append-only, corruption diagram, forensic strength, cryptographic hash function
16	Hiroaki Tobita	Catenaccio: interactive information retrieval system through drawing.	AVI	2006	DBLP DOI BibTeX RDF	sketch manipulations, information retrieval, interactive system, venn diagram
16	Gopal Paul, Ajit Pal, Bhargab B. Bhattacharya	On finding the minimum test set of a BDD-based circuit.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	binary decision diagram (BDD), multiplexors, network flow, stuck-at faults, VLSI testing
16	Samrat Goswami, Tamal K. Dey, Chandrajit L. Bajaj	Identifying flat and tubular regions of a shape by unstable manifolds.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	unstable manifold, voronoi diagram, delaunay triangulation, Point cloud
16	James T. Fulton	Performance of the two-stage, dual-mode oculomotor servo system.	ETRA	2006	DBLP DOI BibTeX RDF	human physiology, servomechanisms, vision temporal response, chromaticity diagram
16	Huaizhi Wu, Martin D. F. Wong, I-Min Liu	Timing-constrained and voltage-island-aware voltage assignment.	DAC	2006	DBLP DOI BibTeX RDF	voltage assignment, low power, timing, voronoi diagram
16	Jeong Eun Kim, Hyeon Cheol Nah, Kyung-hyun Yoon	The Decorative PixMosaics: Using Directional Photo Tiles.	CGIV	2005	DBLP DOI BibTeX RDF	Photo Mosaics, Centroidal Voronoi Diagram, NPR, Image Mosaics
16	Ansaf Salleb, Christel Vrain	Estimation of the Density of Datasets with Decision Diagrams.	ISMIS	2005	DBLP DOI BibTeX RDF	Transactional dataset, boolean function, decision diagram, density
16	Marta Penas, María J. Carreira, Manuel G. Penedo, Cástor Mariño	Segment Extraction Using Burns Principles in a Pseudo-color Fuzzy Hough Transform.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF	Burns segment detector, Hough transform, Gabor wavelets, growing cell structures, chromaticity diagram
16	Rakesh Tripathi, Rajib Mall	Early Stage Software Reliability and Design Assessment.	APSEC	2005	DBLP DOI BibTeX RDF	Design Assessment, m Early-Stage, Reliability Block Diagram, FunctionDiagram, Complex configurations, Scenario, Reliability Prediction
16	Jose Hughes	An online bookstore using JSP technology.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	JavaServer pages, MVC diagram, MVC model, JDBC
16	Jeong Yang, T. Dean Hendrix, Kai H. Chang, David A. Umphress	An empirical validation of complexity profile graph.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	complexity profile graph, control structure diagram, program comprehension, software complexity metric, program complexity
16	Brian A. Malloy, James F. Power	Exploiting UML dynamic object modeling for the visualization of C++ programs.	SOFTVIS	2005	DBLP DOI BibTeX RDF	unified modeling language, aspect oriented programming, program comprehension, sequence diagram
16	Marlon Dumas, Tore Fjellheim, Stephen Milliner, Julien Vayssière	Event-Based Coordination of Process-Oriented Composite Applications.	Business Process Management	2005	DBLP DOI BibTeX RDF	flexible process execution, event-based coordination, coordination middleware, activity diagram, object space
16	Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz	Verification and change-impact analysis of access-control policies.	ICSE	2005	DBLP DOI BibTeX RDF	verification, XACML, decision diagram, change-impact analysis, access-control policies
16	Beatriz L. Boada, Dolores Blanco, Luis Moreno 0001	Symbolic Place Recognition in Voronoi-Based Maps by Using Hidden Markov Models.	J. Intell. Robotic Syst.	2004	DBLP DOI BibTeX RDF	hidden Markov models, mobile robots, Voronoi diagram, place recognition
16	Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001	Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions
16	Baihua Zheng, Wang-Chien Lee, Dik Lun Lee	On Semantic Caching and Query Scheduling for Mobile Nearest-Neighbor Search.	Wirel. Networks	2004	DBLP DOI BibTeX RDF	query scheduling, location-based services, Voronoi Diagram, nearest-neighbor search, roaming, semantic caching, indexing technique
16	Shun-Yun Hu, Guan-Ming Liao	Scalable peer-to-peer networked virtual environment.	NETGAMES	2004	DBLP DOI BibTeX RDF	massively multiplayer (MMP), scalability, Voronoi diagram, networked virtual environment (NVE), peer-to-peer (P2P), interest management
16	Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang 0003, Yuehua Lin, Juanqin Wang, Jeff Gray 0001, Barrett R. Bryant	E-R modeler: a database modeling toolkit for Eclipse.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	E-R diagram, design patterns, data modeling, eclipse, Plug-In
16	Henry Sonnet, Sheelagh Carpendale, Thomas Strothotte	Integrating expanding annotations with a 3D explosion probe.	AVI	2004	DBLP DOI BibTeX RDF	3D model exploration, expanding annotations, explosion diagram, interaction design
16	Deok-Soo Kim, Kwangseok Yu, Youngsong Cho, Donguk Kim 0001, Chee-Keng Yap	Shortest Paths for Disc Obstacles.	ICCSA (3)	2004	DBLP DOI BibTeX RDF	disc obstacles, Dijkstra, Voronoi diagram, convex hull, Geodesic, ellipse
16	Mohammad Ghasemzadeh 0001, Volker Klotz, Christoph Meinel	Embedding Memoization to the Semantic Tree Search for Deciding QBFs.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Zero-Suppressed Binary Decision Diagram (ZDD), Quantified Boolean Formula (QBF), QSAT, Satisfiability, DPLL
16	Marta Penas, María J. Carreira, Manuel G. Penedo, Majid Mirmehdi, Barry T. Thomas	Comparative Frameworks for Directional Primitive Extraction.	ICIAR (1)	2004	DBLP DOI BibTeX RDF	Directional primitives, Sobel filter, auto-organised structures, Gabor wavelets, growing cell structures, chromaticity diagram
16	Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi	A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Binary Decision Diagram (BDD), multistate component, multistate fault tree, multistate system, blocking probability
16	Yuh-Rau Wang, Shi-Jinn Horng	An O(1)Time Algorithm for the 3D Euclidean Distance Transform on the CRCW PRAM Model.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Computer vision, parallel algorithm, image processing, Voronoi diagram, Euclidean distance transform, CRCW PRAM model