Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Yuheng Cheng, Ceyao Zhang, Zhengwen Zhang, Xiangrui Meng, Sirui Hong, Wenhao Li, Zihao Wang, Zekai Wang, Feng Yin, Junhua Zhao 0001, Xiuqiang He 0001	Exploring Large Language Model based Intelligent Agents: Definitions, Methods, and Prospects.	CoRR	2024	DBLP DOI BibTeX RDF
12	Adrian Cosma, Ioan-Bogdan Iordache, Paolo Rosso	RoCode: A Dataset for Measuring Code Intelligence from Problem Definitions in Romanian.	CoRR	2024	DBLP DOI BibTeX RDF
12	Antonio San Martín	What Generative Artificial Intelligence Means for Terminological Definitions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Wanyun Su, Zhilin Wu, Mihaela Sighireanu	Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Kento Kawaharazuka, Naoaki Kanazawa, Kei Okada, Masayuki Inaba	Learning-Based Wiping Behavior of Low-Rigidity Robots Considering Various Surface Materials and Task Definitions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar	Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions.	CoRR	2024	DBLP DOI BibTeX RDF
12	Raphael Schoof, Giuseppe Fabian Castelli, Willy Dörfler	Comparison of Different Elastic Strain Definitions for Largely Deformed SEI of Chemo-Mechanically Coupled Silicon Battery Particles.	CoRR	2024	DBLP DOI BibTeX RDF
12	Gianpietro Battocletti, Dimitris Boskos, Domagoj Tolic, Ivana Palunko, Bart De Schutter	Entanglement Definitions for Tethered Robots: Exploration and Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
12	Thien An L. Nguyen	Evidence, Definitions and Algorithms regarding the Existence of Cohesive-Convergence Groups in Neural Network Optimization.	CoRR	2024	DBLP DOI BibTeX RDF
12	Chen Wang, Kathryn M. Mohror, Marc Snir	Formal Definitions and Performance Comparison of Consistency Models for Parallel File Systems.	CoRR	2024	DBLP DOI BibTeX RDF
12	Mario Alfonso Prado-Romero, Bardh Prenkaj, Giovanni Stilo, Fosca Giannotti	A Survey on Graph Counterfactual Explanations: Definitions, Methods, Evaluation, and Research Challenges.	ACM Comput. Surv.	2024	DBLP DOI BibTeX RDF
12	Jia-Si Weng 0001, Shenglong Yao, Yuefeng Du 0001, Junjie Huang, Jian Weng 0001, Cong Wang 0001	Proof of Unlearning: Definitions and Instantiation.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
12	Jan Bobolz, Jesus Diaz, Markulf Kohlweiss	Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
12	Julien Guité-Vinet, Alexandre Blondin Massé, Fatiha Sadat	Towards a Transformer-Based Reverse Dictionary Model for Quality Estimation of Definitions (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
12	Marco Valentino, Danilo S. Carvalho, André Freitas	Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions.	EACL (1)	2024	DBLP BibTeX RDF
12	Aggelos Kiayias, Nikos Leonardos, Yu Shen 0002	Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions.	EUROCRYPT (3)	2024	DBLP DOI BibTeX RDF
12	Shea Durgin, James Gore, Behrooz Mansouri	MathMex: Search Engine for Math Definitions.	ECIR (5)	2024	DBLP DOI BibTeX RDF
12	Li Zhong, Chengcheng Xiang, Haochen Huang, Bingyu Shen 0002, Eric Mugnier, Yuanyuan Zhou 0001	Effective Bug Detection with Unused Definitions.	EuroSys	2024	DBLP DOI BibTeX RDF
12	Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg 0001	Compositional Security Definitions for Higher-Order Where Declassification.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Bosung Kim, Hyewon Choi, Haeun Yu, Youngjoong Ko	Graph-based query reformulation system for descriptive queries of jargon words using definitions.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
12	Takuya Kiyokawa, Naoki Shirakura, Zhenting Wang, Natsuki Yamanobe, Ixchel Georgina Ramirez-Alpizar, Weiwei Wan, Kensuke Harada	Difficulty and complexity definitions for assembly task allocation and assignment in human-robot collaborations: A review.	Robotics Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
12	Lukas Schweiger, Linard Barth	Properties and Characteristics of Digital Twins: Review of Industrial Definitions.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Luz Parrondo	Cryptoassets: Definitions and accounting treatment under the current International Financial Reporting Standards framework.	Intell. Syst. Account. Finance Manag.	2023	DBLP DOI BibTeX RDF
12	Jennifer Bailey, Martin Otto Paul Ramacher, Orestis Speyer, Eleni Athanasopoulou, Matthias Karl, Evangelos Gerasopoulos	Localizing SDG 11.6.2 via Earth Observation, Modelling Applications, and Harmonised City Definitions: Policy Implications on Addressing Air Pollution.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Liqaa Habeb Al-Obaydi, Marcel Pikhart, Blanka Klímová	Verifying EFL Autonomous Learning by Digital Gaming: Definitions and Concepts.	Int. J. Emerg. Technol. Learn.	2023	DBLP DOI BibTeX RDF
12	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
12	Christoph Matheja, Jens Pagel, Florian Zuleger	A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
12	Javier Torregrosa, Gema Bello Orgaz, Eugenio Martínez-Cámara, Javier Del Ser, David Camacho	A survey on extremism analysis using natural language processing: definitions, literature review, trends and challenges.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
12	Sujay A. Kaloti, Badrul H. Chowdhury	Toward Reaching a Consensus on the Concept of Power System Resilience: Definitions, Assessment Frameworks, and Metrics.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Anne Ozdowska, Penny Sweetser, Mahsuum Daiiani	A Scoping Review of Heuristics in Videos Games Research: Definitions, Development, Application, and Operationalisation.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
12	Sait Gül, Ali Aydogdu	Novel distance and entropy definitions for linear Diophantine fuzzy sets and an extension of TOPSIS (LDF-TOPSIS).	Expert Syst. J. Knowl. Eng.	2023	DBLP DOI BibTeX RDF
12	Moeid Shariatfar, Yong-Cheol Lee	Urban-Level Data Interoperability for Management of Building and Civil Infrastructure Systems during the Disaster Phases Using Model View Definitions.	J. Comput. Civ. Eng.	2023	DBLP DOI BibTeX RDF
12	Pascal S. Brandt, Abel N. Kho, Yuan Luo 0001, Jennifer A. Pacheco, Theresa L. Walunas, Hakon Hakonarson, George Hripcsak, Cong Liu 0020, Ning Shang, Chunhua Weng, Nephi Walton, David S. Carrell, Paul K. Crane, Eric B. Larson, Christopher G. Chute, Iftikhar J. Kullo, Robert J. Carroll, Joshua C. Denny, Andrea H. Ramirez, Wei-Qi Wei, Jyotishman Pathak, Laura K. Wiley, Rachel L. Richesson, Justin B. Starren, Luke V. Rasmussen	Characterizing variability of electronic health record-driven phenotype definitions.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
12	Laurence S. Q. N. Ngankem, Cristiana Larizza, Antonino Nocera, Giuseppe Rombolà, Silvana Quaglini, Riccardo Bellazzi, Maria Laura Costantino, Giustina Casagrande	A comparative study of the definitions of intradialytic hypotension correlated with increased mortality to identify universal predictors.	Int. J. Medical Informatics	2023	DBLP DOI BibTeX RDF
12	Mohammad Hossein Tabatabaei, Roman Vitenberg, Narasimha Raghavan Veeraragavan	Understanding blockchain: Definitions, architecture, design, and system comparison.	Comput. Sci. Rev.	2023	DBLP DOI BibTeX RDF
12	Sandra Heine, Matthias Krepf, Johannes König 0003	Digital resources as an aspect of teacher professional digital competence: One term, different definitions - a systematic review.	Educ. Inf. Technol.	2023	DBLP DOI BibTeX RDF
12	Hongxia Miao, Feng Zhang 0011	Chirp cyclic moment for chirp cyclostationary processes: Definitions and estimators.	Digit. Signal Process.	2023	DBLP DOI BibTeX RDF
12	M. Lynne Markus, Frantz Rowe	The Digital Transformation Conundrum: Labels, Definitions, Phenomena, and Theories.	J. Assoc. Inf. Syst.	2023	DBLP BibTeX RDF
12	Alfredo Cuzzocrea	A Reference Architecture for Supporting Multidimensional Big Data Analytics over Big Web Knowledge Bases: Definitions, Implementation, Case Studies.	Int. J. Semantic Comput.	2023	DBLP DOI BibTeX RDF
12	Ryan Carey, Tom Everitt	Human Control: Definitions and Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marco Valentino, Danilo S. Carvalho, André Freitas	Multi-Relational Hyperbolic Word Embeddings from Natural Language Definitions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Definitions and (Uniform) Interpolants in First-Order Modal Logic.	CoRR	2023	DBLP DOI BibTeX RDF
12	Alessandro Berti, Daniel Schuster 0001, Wil M. P. van der Aalst	Abstractions, Scenarios, and Prompt Definitions for Process Mining with LLMs: A Case Study.	CoRR	2023	DBLP DOI BibTeX RDF
12	Morgane Goibert, Clément Calauzènes, Ekhine Irurozki, Stéphan Clémençon	Robust Consensus in Ranking Data Analysis: Definitions, Properties and Computational Issues.	CoRR	2023	DBLP DOI BibTeX RDF
12	Colin M. Gray, Cristiana Santos, Nataliia Bielova, Thomas Mildner	An Ontology of Dark Patterns Knowledge: Foundations, Definitions, and a Pathway for Shared Knowledge-Building.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fan Yin, Jesse Vig, Philippe Laban, Shafiq Joty, Caiming Xiong, Chien-Sheng Jason Wu	Did You Read the Instructions? Rethinking the Effectiveness of Task Definitions in Instruction Learning.	CoRR	2023	DBLP DOI BibTeX RDF
12	Leo Freitas	Topologically sorting VDM-SL definitions for Isabelle/HOL translation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yunting Yin, Steven Skiena	Word Definitions from Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fuyuki Kitagawa, Ryo Nishimaki	One-out-of-Many Unclonable Cryptography: Definitions, Constructions, and More.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yivan Zhang, Masashi Sugiyama	Enriching Disentanglement: Definitions to Metrics.	CoRR	2023	DBLP DOI BibTeX RDF
12	Sunjae Kwon, Rishabh Garodia, Minhwa Lee, Zhichao Yang 0001, Hong Yu 0001	Vision Meets Definitions: Unsupervised Visual Word Sense Disambiguation Incorporating Gloss Information.	CoRR	2023	DBLP DOI BibTeX RDF
12	Nan Wang, Likun Qin, Tianshuo Qiu	SOK: Privacy Definitions and Classical Mechanisms in the Local Setting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Christian Fang, Qixiang Fang, Dong Nguyen 0002	Epicurus at SemEval-2023 Task 4: Improving Prediction of Human Values behind Arguments by Leveraging Their Definitions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fatemah Almeman, Hadi Sheikhi, Luis Espinosa Anke	3D-EX : A Unified Dataset of Definitions and Dictionary Examples.	CoRR	2023	DBLP DOI BibTeX RDF
12	Linhan Zhang, Qian Chen 0003, Wen Wang, Yuxin Jiang, Bing Li, Wei Wang, Xin Cao 0001	Exploiting Correlations Between Contexts and Definitions with Multiple Definition Modeling.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jakub Bulín, Michael Kompatscher	Short definitions in constraint languages.	CoRR	2023	DBLP DOI BibTeX RDF
12	Michael Hagmann, Shigehiko Schamoni, Stefan Riezler	Validity problems in clinical machine learning by indirect data labeling using consensus definitions.	CoRR	2023	DBLP DOI BibTeX RDF
12	François Remy, Thomas Demeester	Automatic Glossary of Clinical Terminology: a Large-Scale Dictionary of Biomedical Definitions Generated from Ontological Knowledge.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mingzhe Zhu, Liwang Zhu, Huan Li 0002, Wei Li 0055, Zhongzhi Zhang	Resistance Distances in Directed Graphs: Definitions, Properties, and Applications.	CoRR	2023	DBLP DOI BibTeX RDF
12	Philippe Page, Paul Knowles, Robert Mitwicki	Distributed Governance: a Principal-Agent Approach to Data Governance - Part 1 Background & Core Definitions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yivan Zhang, Masashi Sugiyama	A Category-theoretical Meta-analysis of Definitions of Disentanglement.	CoRR	2023	DBLP DOI BibTeX RDF
12	Julien Guité-Vinet, Alexandre Blondin Massé, Fatiha Sadat	Towards a Transformer-Based Reverse Dictionary Model for Quality Estimation of Definitions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yutian Sun, Hai Zhuge	Discovering Patterns of Definitions and Methods from Scientific Documents.	CoRR	2023	DBLP DOI BibTeX RDF
12	Laith Alzubaidi, Jinshuai Bai, Aiman Al-Sabaawi, José Santamaría, Ahmed Shihab Albahri, Bashar Sami Nayyef Al-dabbagh, Mohammed A. Fadhel, Mohamed Manoufali, Jinglan Zhang, Ali H. Al-Timemy, Ye Duan, Amjed Abdullah, Laith Farhan, Yi Lu, Ashish Gupta, Felix Albu, Amin M. Abbosh, Yuantong Gu	A survey on deep learning tools dealing with data scarcity: definitions, challenges, solutions, tips, and applications.	J. Big Data	2023	DBLP DOI BibTeX RDF
12	Kim Smith, Ian David Wilson	Critical infrastructures: a comparison of definitions.	Int. J. Crit. Infrastructures	2023	DBLP DOI BibTeX RDF
12	Ali E. Haddad, Laleh Najafizadeh	The Discriminative Discrete Basis Problem: Definitions, Algorithms, Benchmarking, and Application to Brain's Functional Dynamics.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
12	Brian Alan Johnson, Chisa Umemiya, Damasa B. Magcale-Macandog, Ronald C. Estoque, Masato Hayashi, Takeo Tadono	Better monitoring of forests according to FAO's definitions through map integration: Significance and limitations in the context of global environmental goals.	Int. J. Appl. Earth Obs. Geoinformation	2023	DBLP DOI BibTeX RDF
12	Don Fedyk, Eric Kinzie	Definitions of Managed Objects for IP Traffic Flow Security.	RFC	2023	DBLP DOI BibTeX RDF
12	Shima Asaadi, Eugenie Giesbrecht, Sebastian Rudolph	Compositional matrix-space models of language: Definitions, properties, and learning methods.	Nat. Lang. Eng.	2023	DBLP DOI BibTeX RDF
12	Alcides Lopes, Joel Luis Carbonera, Daniela Schmidt, Luan Fonseca Garcia, Fabrício Henrique Rodrigues, Mara Abel	Using terms and informal definitions to classify domain entities into top-level ontology concepts: An approach based on language models.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
12	Haiyun Xu, Hongshen Pang, Jos Winnink, Rui Luo 0004, Chao Wang	Disambiguating the definitions of the concept 'transformative innovation'.	J. Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Junzuo Lai, Gongxian Zeng, Zhengan Huang, Siu Ming Yiu, Xin Mu, Jian Weng 0001	Asymmetric Group Message Franking: Definitions & Constructions.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Jinpeng Hou, Yansong Gao, Mang Su, Willy Susilo, Jie Chen, Anmin Fu	Asymmetric Trapdoor Pseudorandom Generators: Definitions, Constructions, and Applications to Homomorphic Signatures with Shorter Public Keys.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Fuyuki Kitagawa, Ryo Nishimaki	One-out-of-Many Unclonable Cryptography: Definitions, Constructions, and More.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Suvradip Chakraborty, Manoj Prabhakaran 0001, Daniel Wichs	A Map of Witness Maps: New Definitions and Connections.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Yunxiao Zhou, Shengli Liu 0001, Shuai Han 0001, Haibin Zhang	Fine-Grained Proxy Re-Encryption: Definitions & Constructions from LWE.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Aggelos Kiayias, Nikos Leonardos, Yu Shen 0002	Ordering Transactions with Bounded Unfairness: Definitions, Complexity and Constructions.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Qiushuang Wang, Run Xu	A review of definitions of fractional differences and sums.	Math. Found. Comput.	2023	DBLP DOI BibTeX RDF
12	Muhammad Irfan Khalid, Mansoor Ahmed, Jungsuk Kim	Enhancing Data Protection in Dynamic Consent Management Systems: Formalizing Privacy and Security Definitions with Differential Privacy, Decentralization, and Zero-Knowledge Proofs.	Sensors	2023	DBLP DOI BibTeX RDF
12	Jin-Young Kim, Man-Woo Park, Nhut Truong Huynh, Changsu Shim, Jong-Woong Park	Detection and Length Measurement of Cracks Captured in Low Definitions Using Convolutional Neural Networks.	Sensors	2023	DBLP DOI BibTeX RDF
12	Mnacho Echenim, Nicolas Peltier	A Proof Procedure for Separation Logic with Inductive Definitions and Data.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
12	Prabodi Senevirathna, Douglas E. V. Pires, Daniel Capurro	Data-driven overdiagnosis definitions: A scoping review.	J. Biomed. Informatics	2023	DBLP DOI BibTeX RDF
12	Hal Ashton	Definitions of intent suitable for algorithms.	Artif. Intell. Law	2023	DBLP DOI BibTeX RDF
12	Angelo G. Menezes, Gustavo de Moura, Cézanne Alves, André C. P. L. F. de Carvalho	Continual Object Detection: A review of definitions, strategies, and challenges.	Neural Networks	2023	DBLP DOI BibTeX RDF
12	Olga Kosheleva, Vladik Kreinovich	Really Good Theorems Are Those That End Their Life as Definitions: Why.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
12	Christian Fang, Qixiang Fang, Dong Nguyen 0002	Epicurus at SemEval-2023 Task 4: Improving Prediction of Human Values behind Arguments by Leveraging Their Definitions.	SemEval@ACL	2023	DBLP DOI BibTeX RDF
12	Alfredo Cuzzocrea	Advanced Machine Learning Structures over Big Data Repositories: Definitions, Models, Properties, Algorithms.	FSDM	2023	DBLP DOI BibTeX RDF
12	Fatemah Almeman, Hadi Sheikhi, Luis Espinosa Anke	3D-EX: A Unified Dataset of Definitions and Dictionary Examples.	RANLP	2023	DBLP BibTeX RDF
12	Jingxing Zhou, Jürgen Beyerer	Corner Cases in Data-Driven Automated Driving: Definitions, Properties and Solutions.	IV	2023	DBLP DOI BibTeX RDF
12	Lorenzo Neil, Julie M. Haney, Kerrianne Buchanan, Charlotte Healy	Analyzing Cybersecurity Definitions for Non-experts.	HAISA	2023	DBLP DOI BibTeX RDF
12	Kaoutar Senhaji, Carlos A. Coello Coello, José Antonio Lozano 0001	An Improved Version of MMOEA/DC Based on Alternative Clustering Definitions.	CEC	2023	DBLP DOI BibTeX RDF
12	Fuyuki Kitagawa, Ryo Nishimaki	One-Out-of-Many Unclonable Cryptography: Definitions, Constructions, and More.	TCC (4)	2023	DBLP DOI BibTeX RDF
12	Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo	A Brief History of Singlefold Diophantine Definitions.	CILC	2023	DBLP BibTeX RDF
12	Ryan Carey, Tom Everitt	Human Control: Definitions and Algorithms.	UAI	2023	DBLP BibTeX RDF
12	Thilo von Neumann, Christoph Böddeker, Keisuke Kinoshita, Marc Delcroix, Reinhold Haeb-Umbach	On Word Error Rate Definitions and Their Efficient Computation for Multi-Speaker Speech Recognition Systems.	ICASSP	2023	DBLP DOI BibTeX RDF
12	Lennart Wachowiak, Dagmar Gromann, Chao Xu	The Image Schema VERTICALITY: Definitions- and Annotation Guidelines.	ISD	2023	DBLP BibTeX RDF
12	Sara Carvalho, Cornelia Wermuth, Rute Costa	Definitions in SNOMED CT Through the Lens of Terminology: From Formal to Textual.	MDTT	2023	DBLP BibTeX RDF
12	Margarida Ramos, Rute Costa	Extracting Knowledge-rich Information From Definitions. A Corpus-based Approach to Building a Conceptual-based Terminological Resource.	MDTT	2023	DBLP BibTeX RDF
12	Catherine Sai, Anastasiya Damaratskaya, Karolin Winter, Stefanie Rinderle-Ma	Identification and Visualization of Legal Definitions and Legal Term Relations.	ER (Workshops)	2023	DBLP DOI BibTeX RDF
12	Apostolos V. Zarras, Panos Vassiliadis	A Safari for Deviating GoF Pattern Definitions and Examples on the Web.	ER	2023	DBLP DOI BibTeX RDF