|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4109 occurrences of 2038 keywords
|
|
|
Results
Found 5371 publication records. Showing 5371 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Matthias Beyer, Winfried Dulz |
Scenario-Based Statistical Testing of Quality of Service Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scenarios: Models, Transformations and Tools ![In: Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, pp. 152-173, 2003, Springer, 3-540-26189-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 19th ACM Symposium on Computational Geometry, San Diego, CA, USA, June 8-10, 2003, pp. 191-200, 2003, ACM, 1-58113-663-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 13th Scandinavian Conference, SCIA 2003, Halmstad, Sweden, June 29 - July 2, 2003, Proceedings, pp. 893-898, 2003, Springer, 3-540-40601-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(5), pp. 463-477, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(1), pp. 45-52, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 97-101, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 33-42, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
deformable chains, collision detection, bounding volume hierarchy, power diagram |
16 | Martin Wattenberg |
Arc Diagrams: Visualizing Structure in Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 2002 IEEE Symposium on Information Visualization (InfoVis 2002), 27 October - 1 November 2002, Boston, MA, USA, pp. 110-116, 2002, IEEE Computer Society, 0-7695-1751-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
arc diagram, visualization, music, code, sequence, text, string |
16 | Joachim Giesen, Matthias John 0003 |
Duality in Disk Induced Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2002, International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part III, pp. 154-163, 2002, Springer, 3-540-43594-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 210-219, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 30(2), pp. 179-208, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 1(2), pp. 97-113, 2001. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(6), pp. 425-435, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 9th Pacific Conference on Computer Graphics and Applications, PG 2001, Tokyo, Japan, October 16-18, 2001, pp. 89-96, 2001, IEEE Computer Society, 0-7695-1227-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition Algorithms and Applications, 4th International Workshop, GREC 2001, Kingston, Ontario, Canada, September 7-8, 2001, Selected Papers, pp. 158-166, 2001, Springer, 3-540-44066-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 112-119, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 154-161, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 330-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 379-383, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 308-315, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 199-208, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 288-299, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 61-71, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 15(3), pp. 248-262, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(7), pp. 757-761, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(2), pp. 144-148, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 256-263, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 524-527, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 15th IEEE VLSI Test Symposium (VTS'97), April 27-May 1, 1997, Monterey, California, USA, pp. 150-157, 1997, IEEE Computer Society, 0-8186-7810-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 107-112, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 29st Annual Simulation Symposium (SS '96), April 8-11, 1996, New Orleans, LA, USA, pp. 203-211, 1996, IEEE Computer Society, 0-8186-7432-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 236-241, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 358-364, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 463-469, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 43-46, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 424-432, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(4), pp. 344-358, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(9), pp. 880-893, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 303-310, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 232-238, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 402-407, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 158-163, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 562, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 250-257, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 256-264, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 23-31, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 362-368, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 575-578, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(3), pp. 77-85, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 4(2), pp. 137-150, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 165-180, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(4), pp. 329-346, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(3), pp. 217-223, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(10), pp. 1150-1163, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(9), pp. 1372-1375, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: SWAT 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988, Proceedings, pp. 190-198, 1988, Springer, 3-540-19487-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part F), pp. 122389, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 238(Part E), pp. 122219, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 19739-19751, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 73, pp. 1-12, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Amal Alazba, Hamoud Aljamaan, Mohammad R. Alshayeb |
Automated detection of class diagram smells using self-supervised learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 31(1), pp. 29, June 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Commun. Control ![In: Int. J. Comput. Commun. Control 19(2), March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 501, pp. 112802, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 15(3), pp. 898-916, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17, pp. 127-137, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08111, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.18761, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17065, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01393, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08396, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.11362, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Johannes Bayer, Leo van Waveren, Andreas Dengel 0001 |
Modular Graph Extraction for Handwritten Circuit Diagram Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.11093, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15037, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 312(1), pp. 182-197, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 20(1), pp. 13:1-13:27, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Tomoki Moriya |
LIT-SiGamal: An efficient isogeny-based PKE based on a LIT diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2024, pp. 521, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
11 | Zihan Ma, Tianchong Gao |
Federated learning backdoor attack detection with persistence diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 136, pp. 103557, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 24(6), pp. 1794, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Nathan M. Dunfield, Malik Obeidin, Cameron Gates Rudd |
Computing a Link Diagram From Its Exterior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 71(1), pp. 121-159, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 40(3), pp. 1499-1514, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 33, pp. 2131-2144, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Guntur Budi Herwanto |
Automating Data Flow Diagram Generation from User Stories Using Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ Workshops ![In: Joint Proceedings of REFSQ-2024 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with the 30th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland, April 8-11, 2024., 2024, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
11 | Mohsen Nafar, Michael Römer |
Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 8082-8089, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 2211-2219, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024., pp. 641-648, 2024, SCITEPRESS, 978-989-758-680-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, pp. 255-275, 2024, Springer, 978-3-031-57255-5. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Assia Mahboubi, Matthieu Piquerez |
A First Order Theory of Diagram Chasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy, pp. 38:1-38:19, 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-310-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2024, Las Vegas, NV, USA, January 6-8, 2024, pp. 1-2, 2024, IEEE, 979-8-3503-2413-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 286, pp. 108638, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 25(2), pp. 265-289, April 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 45(3), pp. 4301-4313, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 12(10), pp. 418, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 27(3), pp. 535-549, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 109(4), pp. 78, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 14(3), pp. 2350043:1-2350043:23, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Oliver Kautz |
The complexities of the satisfiability checking problems of feature diagram sublanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(4), pp. 1113-1129, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 88, pp. 222-232, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 29275-29295, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Junyong Park, Youngwoo Kim, Donghyun Kim 0004 |
Accelerated Statistical Eye Diagram Estimation Method for Efficient Signal Integrity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 132699-132707, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
|
|