Search results for "diagram"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Matthias Beyer, Winfried Dulz	Scenario-Based Statistical Testing of Quality of Service Requirements.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF	Markov Chain Usage Model, QoS, Software Testing, Automatic Test Generation, TTCN-3, MSC, UML Sequence Diagram
16	François Labelle, Jonathan Richard Shewchuk	Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation.	SCG	2003	DBLP DOI BibTeX RDF	anisotropic Voronoi diagram, anisotropic mesh generation
16	Marta Penas, María J. Carreira, Manuel G. Penedo	Perceptual Organization of Directional Primitives Using a Pseudocolor Hough Transform.	SCIA	2003	DBLP DOI BibTeX RDF	Perceptual primitives, Hough transform, Gabor wavelets, growing cell structures, chromaticity diagram
16	Rhazes Spell, Rachael Brady, Fred Dietrich	BARD: A visualization tool for biological sequence analysis.	INFOVIS	2003	DBLP DOI BibTeX RDF	arc diagram, BARD, visualization, comparative genomics, sequence analysis
16	T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo	The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	control structure diagram, evaluation, program comprehension, software visualization, controlled experiments
16	Masayuki Hisada, Alexander G. Belyaev, Tosiyasu L. Kunii	Towards a singularity-based shape language: ridges, ravines, and skeletons for polygonal surfaces.	Soft Comput.	2002	DBLP DOI BibTeX RDF	3D Voronoi diagram, Ridges and ravines, Skeleton, Polygonal surface
16	Otfried Cheong, Sariel Har-Peled, Nathan Linial, Jirí Matousek 0001	The one-round Voronoi game.	SCG	2002	DBLP DOI BibTeX RDF	Voronoi game, competitive facility location, Voronoi diagram
16	Leonidas J. Guibas, An Thanh Nguyen, Daniel Russel, Li Zhang 0001	Collision detection for deforming necklaces.	SCG	2002	DBLP DOI BibTeX RDF	deformable chains, collision detection, bounding volume hierarchy, power diagram
16	Martin Wattenberg	Arc Diagrams: Visualizing Structure in Strings.	INFOVIS	2002	DBLP DOI BibTeX RDF	arc diagram, visualization, music, code, sequence, text, string
16	Joachim Giesen, Matthias John 0003	Duality in Disk Induced Flows.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF	Computational geometry, Voronoi diagram, Delaunay triangulation
16	Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal	Tracking immediate predecessors in distributed computations.	SPAA	2002	DBLP DOI BibTeX RDF	Hasse diagram, causality tracking, immediate predecessor, message-passing, timestamp, vector clock, asynchronous distributed computations
16	Huaglory Tianfield	Structuring of Large-scale Complex Hybrid Systems: from Illustrative Analysis toward Modelization.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	block-diagram-based model, large-scale complex hybrid system (LCHS), multiple gradation, nested system, perception-decision link, system geometry, distributed system, system modelization, autonomous system, hierarchical system, nesting, system structuring
16	Timothy K. Shih, Flora Chia-I Chang	Strategic assessment: Using influence diagrams to design distance learning courseware.	Oper. Res.	2001	DBLP DOI BibTeX RDF	Decision support system, Distance learning, Courseware, Conceptual graph, Influence diagram, Automatic assessment, Virtual university
16	Sakaé Fuchino, Stefan Geschke, Lajos Soukup	On the weak Freese-Nation property of ?(omega).	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Weak Freese-Nation property, Cohen models, Cicho?'s diagram, Superatomic Boolean algebras
16	Masayuki Hisada, Alexander G. Belyaev, Tosiyasu L. Kunii	A 3D Voronoi-Based Skeleton and Associated Surface Features.	PG	2001	DBLP DOI BibTeX RDF	3D Voronoi diagram, ridges and ravines, skeleton, polygonal surface
16	Takeyuki Suzuki, Jien Kato, Toyohide Watanabe	Extraction of Contextual Information Existing among Component Elements of Origami Books.	GREC	2001	DBLP DOI BibTeX RDF	drawing interpretation, Voronoi diagram, document analysis, origami
16	Sukhamay Kundu	The concept of path-closed subsets and its use in software functional design.	APSEC	2000	DBLP DOI BibTeX RDF	path-closed subsets, software functional design, software engineering, data structures, data structures, data flow analysis, diagrams, partial order, functional decomposition, equivalence relation, function blocks, dataflow diagram
16	Xuandong Li, Johan Lilius	Checking compositions of UML sequence diagrams for timing inconsistency.	APSEC	2000	DBLP DOI BibTeX RDF	UML sequence diagram composition checking, timing inconsistency checking, real-time systems specification, system behaviour scenarios, high-level graphs, real-time systems, model checking, Unified Modeling Language, formal verification, graphs, timing, specification languages, sequences, diagrams, object interactions
16	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
16	Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen	On the verification of Wireless Transaction Protocol using SGM and RED.	RTCSA	2000	DBLP DOI BibTeX RDF	Wireless Transaction Protocol verification, SGM, process concurrency, clock variables, discrete variables, intelligent permutation, explosion factors, scalable verification, State-Graph Manipulators, world standard, large clock constants, large discrete constants, Region Encoding Diagram, state-space size explosions, WTP verification, real time systems, protocols, data structures, data structures, formal verification, formal verification, mobile communication, Wireless Application Protocol, state spaces, RED, state-space methods, reduction techniques
16	Heraldo Maciel França Madeira, Junior Barrera	Incremental Evaluation of BDD-Represented Set Operators.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators
16	Maria Emília Telles Walter, Zanoni Dias, João Meidanis	A New Approach for Approximating the Tranposition Distance.	SPIRE	2000	DBLP DOI BibTeX RDF	transposition distance approximation, genome comparison, rearrangement distance, rearrangement events, relative gene order, similar genes, linear gene orders, breakpoint diagram, approximation algorithm, data structures, permutations, DNA, C programming language, DNA molecules
16	Anneke Kleppe, Jos Warmer	Making UML Activity Diagrams Object-Oriented.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams
16	Hassan Gomaa, Shaoying Liu, Michael E. Shin	Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language.	ICECCS	2000	DBLP DOI BibTeX RDF	domain modeling method, families of systems, SOFL formal specification language, multiple view object oriented analysis model, aggregation hierarchies, generalization/specialization hierarchies, UML static modeling notation, object communication diagrams, SOFL condition data flow diagram notation, variant classes, specification languages, application domain
16	Alla Sheffer, Michal Etzion, Ari Rappoport, Michel Bercovier	Hexahedral Mesh Generation using the Embedded Voronoi Graph.	Eng. Comput.	1999	DBLP DOI BibTeX RDF	Voronoi diagram, Decomposition, Medial axis, Hexahedral meshing
16	Weiguang Guan, Songde Ma	A List-Processing Approach to Compute Voronoi Diagrams and the Euclidean Distance Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Voronoi transformation, Voronoi diagram, coherence, distance transformation, Euclidean distance
16	Shigehiro Fukushima	Division-Based Analysis of Symmetry and Its Application.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	symmetric axis, symmetric points, Computer vision, computational geometry, Voronoi diagram, Delaunay triangulation, shape analysis, generalized cylinder
16	Maria Brielmann, Joachim Stroop, Uwe Honekamp, Peter Wältermann	Simulation of hybrid mechatronic systems: a case study.	ECBS	1997	DBLP DOI BibTeX RDF	hybrid mechatronic systems, continuous system parts, discrete system parts, car electric windows, extended predicate/transition nets, hardware-in-the-loop simulation, hybrid simulation parallelisation, interconnections, complex systems, DSL, automaton, mechatronics, specification techniques, block diagram, simulation techniques
16	Gordon W. Braudaway	Protecting Publicly-Available Images with an Invisible Image Watermark.	ICIP (1)	1997	DBLP DOI BibTeX RDF	protecting publicly-available images, invisible image watermark, high-quality digital images, JPEG lossy compression, image printing, image rescanning, pixel brightnesses, random carrier, scatter diagram, visualizer-coincidence image, method application, robustness, image coding, human visual system, image manipulations, correlated pattern
16	Martin Keim, Michael Martin 0002, Bernd Becker 0001, Rolf Drechsler, Paul Molitor	Polynomial Formal Verification of Multipliers.	VTS	1997	DBLP DOI BibTeX RDF	Binary Moment Diagram (BMD), Verification, Multiplier
16	Naotake Kamiura, Yutaka Hata, Kazuharu Yamato	On Design of Fail-Safe Cellular Arrays.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	fail-safe logic system, Binary Decision Diagram and switch cell, cellular array
16	Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet	A symbolic simulation approach in resolving signals' correlation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools
16	Jon T. Butler, J. L. Nowlin, Tsutomu Sasao	Planarity in ROMDD's of Multiple-Valued Symmetric Functions.	ISMVL	1996	DBLP DOI BibTeX RDF	ROMDD, multiple-valued symmetric function, reduced ordered multiple-valued decision diagram, logic values, voting functions, multivalued logic, decision diagrams, decision tables, multiple-valued functions, multiple-valued function
16	Rajeev K. Ranjan 0001, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Binary decision diagrams on network of workstation.	ICCD	1996	DBLP DOI BibTeX RDF	memory resources, breadth-first technique, verification, Boolean functions, synthesis, binary decision diagram, network of workstations
16	Debesh K. Das, Uttam K. Bhattacharya, Bhargab B. Bhattacharya	Isomorph-redundancy in sequential circuits.	VTS	1996	DBLP DOI BibTeX RDF	isomorph-redundancy, reduced sequential machine, infinite family, VLSI, logic testing, redundancy, integrated circuit testing, design for testability, logic design, sequential circuits, sequential circuits, DFT, state diagram
16	Dieter Spath, Ulf Osmers	Virtual Reality - An Approach to Improve the Generation of Fault-Free Software for Programmable Logic Controllers (PLC).	ICECCS	1996	DBLP DOI BibTeX RDF	fault free software, instruction list, ladder diagram, virtual reality, programmable logic controllers, programmable controllers, low-level languages
16	Kazuhiro Sato, Shuhei Takimoto	Evaluating Performance of High-Speed and Long Distance Communications on HIPPI-ATM Networks.	LCN	1996	DBLP DOI BibTeX RDF	high-speed communications, long distance communications, HIPPI-ATM networks, flow-control performance, HIPPI-ATM conversion system, ANSI, transmission distance, new-credit sending interval, HIPPI interface, ATM interface, transfer performance, protocol-sequence diagram, return path traffic, 622 Mbit/s, 800 Mbit/s, performance evaluation, local area networks, simulation results, transmission delay
16	Marc Soucy, Denis Laurendeau	A General Surface Approach to the Integration of a Set of Range Views.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Range views, surface integration, triangulation, view integration, Venn diagram
16	Hemant D. Tagare, Frans Vos, Conrade C. Jaffe, James S. Duncan	Arrangement: A Spatial Relation Between Parts for Evaluating Similarity of Tomographic Section.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	recognition from parts, Voronoi diagram, image databases, medical image processing, Arrangement, tomography
16	Glenn Jennings	Accurate ternary-valued compiled logic simulation of complex logic networks by OTDD composition.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	circuit diagrams, ternary-valued compiled logic simulation, complex logic networks, OTDD composition, combinational U inaccuracies, reconvergent fanout, Kleenean strong ternary logic, Ordered Ternary Decision Diagram, standard ISCAS 85 benchmarks, performance evaluation, logic CAD, digital simulation, circuit analysis computing, ternary logic, incompletely-specified functions
16	Jerry Z. Gao 0002, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen	Object state testing for object-oriented programs.	COMPSAC	1995	DBLP DOI BibTeX RDF	object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs
16	Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia	Fast discrete function evaluation using decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	address lookups, cycle-based logic simulation, decision-diagram based function evaluation, fast discrete function evaluation, latch ports, orders-of-magnitude potential speedup, output ports, logic design, memory hierarchy, logic CAD, decision theory, circuit analysis computing, memory bandwidth, table lookup, digital circuits, logic simulators, logic function, function evaluation, multi-valued decision diagrams
16	Bogdan J. Falkowski, Susanto Rahardja	Efficient Algorithm for the Generation of Fixed Polarity Quaternary Reed-Muller Expansions.	ISMVL	1995	DBLP DOI BibTeX RDF	fixed polarity quaternary Reed-Muller expansions, polarity coefficient matrices, quaternary switching functions, recursive square matrices, multiplication operations, fast flow diagram, matrix algebra, Galois fields, Galois field, switching functions, Reed-Muller codes
16	Hoon Choi, Kidong Nam, Sun You Kim	Specification of video-on-demand service using object oriented technique.	ICCCN	1995	DBLP DOI BibTeX RDF	VOD service specification, ITU-T service modeling frame, prose description, static description, service attributes, dynamic description, event trace diagram, VOD service protocols, broadband services, formal specification, interactive video, video on demand service, object oriented technique
16	Joaquim A. Jorge, Ephraim P. Glinert	Online Parsing of Visual Languages Using Adjacency Grammars.	VL	1995	DBLP DOI BibTeX RDF	online parsing, diagram-like visual languages, adjacency grammars, visual computing environments, incremental parsing algorithm, overlapping elements, logical constraints, linear run-times, large visual sentences, visual languages, diagrams, programming theory, graph grammars, spatial constraints, online operation, top-down methods, bottom-up methods
16	Herbert Edelsbrunner, Michael A. Facello, Ping Fu, Jie Liang	Measuring proteins and voids in proteins.	HICSS (5)	1995	DBLP DOI BibTeX RDF	protein voids, space filling diagram, solvent accessible surface, metric properties, empty space, surface area contributions, 3-dimensional alpha complexes, inclusion-exclusion formulas, three dimensional alpha complexes, computational geometry, geometric models, diagrams, biology computing, proteins, proteins, chemistry, volume, chemistry computing, molecular surface, molecules, surface area
16	Glenn Jennings	Symbolic incompletely specified functions for correct evaluation in the presence of indeterminate input values.	HICSS (1)	1995	DBLP DOI BibTeX RDF	correct evaluation, indeterminate input values, Ordered Ternary Decision Diagram, OTDD, Boolean functions, symbolic computation, symbol manipulation, ternary logic, incompletely specified functions
16	Sastry Nanduri, Spencer Rugaber	Requirements validation via automated natural language parsing.	HICSS (3)	1995	DBLP DOI BibTeX RDF	automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA
16	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
16	Dov Dori, Erez Tatcher	Selective Multiple Inheritance.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	selective multiple inheritance, embryonic class, class instances, ancestor subsets, combinatorial explosion, inheritance, object-oriented methods, object diagram, generalized method
16	Jaushin Lee, Janak H. Patel	An architectural level test generator based on nonlinear equation solving.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Hierarchical test generation, module diagram, nonlinear module equation, relaxation technique, symbolic simulation
16	Gernot Richter, Bruno Maffeo	Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic
16	Robert B. France	Semantically Extended Data Flow Diagrams: A Formal Specification Tool.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	formal specification tool, semantic decompositions, formal specification, systems analysis, diagrams, data transforms, semantic properties, dataflow diagram, application functionality
16	Van-Ban Le, D. T. Lee	Out-of-Roundness Problem Revisited.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	minimum area difference centre, minimum radial separation, out-of-roundness, farthest-neighbor Voronoi diagram, computational geometry, computational geometry, polygon, medial axis, intersection points
16	Michele Angelaccio, Tiziana Catarci, Giuseppe Santucci	QBD*: A Graphical Query Language with Recursion.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	QBD, standard user interface, Query by Diagram, information retrieval, databases, graphical user interfaces, query languages, recursion, conceptual data model, graphical query language
16	John T. Nosek, Ruth B. Schwartz	User Validation of Information System Requirements: Some Empirical Results.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	information system requirements, HIPO, system flowcharts, Warnier-Orr diagrams, user understanding, systems analysis, systems analysis, user requirements, data-flow diagram, DFD
16	Christos Levcopoulos, Jyrki Katajainen, Andrzej Lingas	An Optimal Expected-Time Parallel Algorithm for Vornoi Diagrams.	SWAT	1988	DBLP DOI BibTeX RDF	bucket method, cell technique, parallel algorithms, computational geometry, Voronoi diagram
11	Lvyang Yang, Jingyu Wang, Jiankang Zhang, Huaiqiang Li, Kangda Wang, Chen Yang, Dongyuan Shi	Practical single-line diagram recognition based on digital image processing and deep vision models.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
11	Yuyan Annie Pan, Jifu Guo, Yanyan Chen, Qixiu Cheng, Wenhao Li, Yanyue Liu	A fundamental diagram based hybrid framework for traffic flow estimation and prediction by combining a Markovian model with deep learning.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
11	Vanita Agrawal, Jayant Jagtap, M. V. V. Prasad Kantipudi	An Overview of Hand-Drawn Diagram Recognition Methods and Applications.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Shaoqing Liu, Zhenshan Ji, Zuchao Zhang, Yong Wang	An Improved Deep Transfer Learning Method for Rotating Machinery Fault Diagnosis Based on Time Frequency Diagram and Pretraining Model.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
11	Amal Alazba, Hamoud Aljamaan, Mohammad R. Alshayeb	Automated detection of class diagram smells using self-supervised learning.	Autom. Softw. Eng.	2024	DBLP DOI BibTeX RDF
11	Xinyong Peng, Yue Zhao, Yaojun Cai, Xin Su	Application of multi-attribute decision-making method based on fuzzy influence diagram in green supplier selection.	Int. J. Comput. Commun. Control	2024	DBLP DOI BibTeX RDF
11	Tianrun Gao, Huihe Qiu, Lin Fu	A semi-meshless Lagrangian finite-volume framework based on Voronoi diagram for general elastoplastic Reissner-Mindlin shell.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
11	Sujit Kumar De, Moumita Ojha	Solving a fuzzy backlogging economic order quantity inventory model using volume of a fuzzy Hasse diagram.	Int. J. Syst. Assur. Eng. Manag.	2024	DBLP DOI BibTeX RDF
11	Haiqiao Liu, Zichao Gong, Qin Wan, Wei Huang, Jun Yu, Meng Liu	A Novel Approach Extracting Extreme Points Combining Multidirection Phase Superposition and Weighted Moment Diagram for Matching Multi-Modal Images.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Ruican Zhong, Donghoon Shin, Rosemary Meza, Predrag Klasnja, Lucas Colusso, Gary Hsieh	AI-Assisted Causal Pathway Diagram for Human-Centered Design.	CoRR	2024	DBLP DOI BibTeX RDF
11	Ningna Wang, Hui Huang, Shibo Song, Bin Wang, Wenping Wang, Xiaohu Guo	MATTopo: Topology-preserving Medial Axis Transform with Restricted Power Diagram.	CoRR	2024	DBLP DOI BibTeX RDF
11	Michail A. Makridis, Anastasios Kouvelas, Jorge A. Laval	Platoon Fundamental Diagram estimation can be Markovian: evidence from human- and self-driven vehicle trajectories.	CoRR	2024	DBLP DOI BibTeX RDF
11	John Erik Fornaess, Mi Hu, Tuyen Trung Truong, Takayuki Watanabe	Backtracking New Q-Newton's method, Newton's flow, Voronoi's diagram and Stochastic root finding.	CoRR	2024	DBLP DOI BibTeX RDF
11	Bruno Pereira Cipriano, Pedro Alves, Paul Denny 0001	A Picture Is Worth a Thousand Words: Exploring Diagram and Video-Based OOP Exercises to Counter LLM Over-Reliance.	CoRR	2024	DBLP DOI BibTeX RDF
11	Qirui Zhang 0001, Mehdi Saligane, Hun-Seok Kim, David T. Blaauw, Georgios Tzimpragos, Dennis Sylvester	Quantum Circuit Simulation with Fast Tensor Decision Diagram.	CoRR	2024	DBLP DOI BibTeX RDF
11	Johannes Bayer, Leo van Waveren, Andreas Dengel 0001	Modular Graph Extraction for Handwritten Circuit Diagram Images.	CoRR	2024	DBLP DOI BibTeX RDF
11	Abhimanyu Nag, Samrat Gupta, Sudipan Sinha, Arka Datta	Analyzing Games in Maker Protocol Part One: A Multi-Agent Influence Diagram Approach Towards Coordination.	CoRR	2024	DBLP DOI BibTeX RDF
11	Qixiu Cheng, Yuqian Lin, Xuesong (Simon) Zhou, Zhiyuan Liu	Analytical formulation for explaining the variations in traffic states: A fundamental diagram modeling perspective with stochastic parameters.	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
11	Chaofan Ma, Wei Liang 0001, Meng Zheng 0001, Xiaofang Xia, Lin Chen	A Voronoi Diagram and Q-Learning based Relay Node Placement Method Subject to Radio Irregularity.	ACM Trans. Sens. Networks	2024	DBLP DOI BibTeX RDF
11	Tomoki Moriya	LIT-SiGamal: An efficient isogeny-based PKE based on a LIT diagram.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
11	Zihan Ma, Tianchong Gao	Federated learning backdoor attack detection with persistence diagram.	Comput. Secur.	2024	DBLP DOI BibTeX RDF
11	Huaijun Zhao, Junping Wang, Tianyu Liu, Yang Yu, Dingxing Hu, Chenxin Cai	Research on the Soft-Sensing Method of Indicator Diagram of Beam Pumping Unit.	Sensors	2024	DBLP DOI BibTeX RDF
11	Nathan M. Dunfield, Malik Obeidin, Cameron Gates Rudd	Computing a Link Diagram From Its Exterior.	Discret. Comput. Geom.	2024	DBLP DOI BibTeX RDF
11	Yuyou Yao, Tao Li, Wenming Wu, Gaofeng Zhang, Liping Zheng	PowerHierarchy: visualization approach of hierarchical data via power diagram.	Vis. Comput.	2024	DBLP DOI BibTeX RDF
11	Xinyu Zhang, Lingling Zhang, Xin Hu, Jun Liu 0002, Shaowei Wang, Qianying Wang	Alignment Relation is What You Need for Diagram Parsing.	IEEE Trans. Image Process.	2024	DBLP DOI BibTeX RDF
11	Guntur Budi Herwanto	Automating Data Flow Diagram Generation from User Stories Using Large Language Models.	REFSQ Workshops	2024	DBLP BibTeX RDF
11	Mohsen Nafar, Michael Römer	Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization.	AAAI	2024	DBLP DOI BibTeX RDF
11	Haoxiang Hu, Cangjun Gao, Yaokun Li, Xiaoming Deng 0001, Yu-Kun Lai, Cuixia Ma, Yong-Jin Liu, Hongan Wang	SpaceGTN: A Time-Agnostic Graph Transformer Network for Handwritten Diagram Recognition and Segmentation.	AAAI	2024	DBLP DOI BibTeX RDF
11	Shou Ooba, Jun Kawahara, Shin-ichi Minato	Designing Algorithms for the Shortest Path Reconfiguration Problem Using Decision Diagram Operations.	ICAART (3)	2024	DBLP DOI BibTeX RDF
11	Nils Husung, Clemens Dubslaff, Holger Hermanns, Maximilian A. Köhl	OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.	TACAS (3)	2024	DBLP DOI BibTeX RDF
11	Assia Mahboubi, Matthieu Piquerez	A First Order Theory of Diagram Chasing.	CSL	2024	DBLP DOI BibTeX RDF
11	Kazuki Fukae, Yudai Tanaka, Tetsuo Imai, Kenichi Arai, Toru Kobayashi	Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram.	ICCE	2024	DBLP DOI BibTeX RDF
11	Kirk H. Bevan, Botong Miao, Asif Iqbal	SLJCompact: A semiconductor-liquid junction solver for rapid band diagram insights into photoelectrochemical devices.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
11	Jianhua Wu 0008, Yu Zhao, Mengjuan Yu, Xiaoxiang Zou, Jiaqi Xiong, Xiang Hu	A new Voronoi diagram-based approach for matching multi-scale road networks.	J. Geogr. Syst.	2023	DBLP DOI BibTeX RDF
11	Hao Li, Haisha Niu, Yong Zhang, Zhengxian Yu	Research on indirect measuring method of dynamometer diagram of sucker rod pumping system based on long-short term memory neural network.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
11	Borja Alonso, Giuseppe Musolino, Corrado Rindone, Antonino Vitetta	Estimation of a Fundamental Diagram with Heterogeneous Data Sources: Experimentation in the City of Santander.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
11	Ahmed Awad 0002, Amjad Hawash, Baker Abdalhaq	A Genetic Algorithm (GA) and Swarm-Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced With Recent Operators.	IEEE Trans. Evol. Comput.	2023	DBLP DOI BibTeX RDF
11	Jun Chen, Philip M. Dames	The Convex Uncertain Voronoi Diagram for Safe Multi-Robot Multi-Target Tracking Under Localization Uncertainty.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
11	Yafang Zou, Jiangyun Wang, Xingyu Tian, Ni Li, Guanghong Gong	Intelligent generation of combat simulation scenarios based on UML diagram recognition.	Int. J. Model. Simul. Sci. Comput.	2023	DBLP DOI BibTeX RDF
11	Oliver Kautz	The complexities of the satisfiability checking problems of feature diagram sublanguages.	Softw. Syst. Model.	2023	DBLP DOI BibTeX RDF
11	Milad Mehri	Analytic estimation of jitter and eye diagram based on transmission line time domain response considering skin effect and stochastic crosstalk.	Integr.	2023	DBLP DOI BibTeX RDF
11	Husam Kaid, Abdulrahman Al-Ahmari, Khaled N. Alqahtani, Fahad Alasim, Emad Hashiem Abualsauod, Abdulmajeed Dabwan, Mustafa M. Nasr	A Novel Method for Converting Colored Petri Nets to Ladder Diagram in the Automation of Automated Manufacturing Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
11	Junyong Park, Youngwoo Kim, Donghyun Kim 0004	Accelerated Statistical Eye Diagram Estimation Method for Efficient Signal Integrity Analysis.	IEEE Access	2023	DBLP DOI BibTeX RDF