Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Philip Makedonski, Ilie-Daniel Gheorghe-Pop, Axel Rennoch, Finn Kristoffersen, Bostjan Pintar, Andreas Ulrich	Using TDL for Standardised Test Purpose Definitions.	QRS Companion	2020	DBLP DOI BibTeX RDF
12	Karim Baghery	Subversion-Resistant Commitment Schemes: Definitions and Constructions.	STM	2020	DBLP DOI BibTeX RDF
12	Elias Chaibub Neto	A Causal Look at Statistical Definitions of Discrimination.	KDD	2020	DBLP DOI BibTeX RDF
12	Farhad Fatehi, Mahnaz Samadbeik, Azar Kazemi	What is Digital Health? Review of Definitions.	EFMI-STC	2020	DBLP DOI BibTeX RDF
12	Jan-Christoph Kalo, Stephan Mennicke, Philipp Ehler, Wolf-Tilo Balke	Detecting Synonymous Properties by Shared Data-Driven Definitions.	ESWC	2020	DBLP DOI BibTeX RDF
12	Chi-Yo Huang, Yen-Chu Lin, Chia-Li Yang, Yu Sun, Jeng-Chieh Cheng, Ying-Ting Kuo, Liang-Chieh Wang, Sing-Yan Wang, Hao-En Hsu, Hao-Hsiu Hsu	A Fuzzy MOP Based Competence Set Expansion Method for Technology Roadmap Definitions.	SoMeT	2020	DBLP DOI BibTeX RDF
12	Naoya Todo, Noriko H. Arai, Shingo Sugawara	Large-Scale Survey of Students' Skills in Reading Math Definitions.	CogSci	2020	DBLP BibTeX RDF
12	Helen Harman, Pieter Simoens	Learning Symbolic Action Definitions from Unlabelled Image Pairs.	ICAAI	2020	DBLP DOI BibTeX RDF
12	Timothee Mickus, Mathieu Constant, Denis Paperno	Génération automatique de définitions pour le français (Definition Modeling in French).	JEP-TALN-RECITAL (2)	2020	DBLP BibTeX RDF
12	Abida Haque, Alessandra Scafuro	Threshold Ring Signatures: New Definitions and Post-quantum Security.	Public Key Cryptography (2)	2020	DBLP DOI BibTeX RDF
12	David M. Howcroft, Anya Belz, Miruna-Adriana Clinciu, Dimitra Gkatzia, Sadid A Hasan, Saad Mahamood, Simon Mille, Emiel van Miltenburg, Sashank Santhanam, Verena Rieser	Twenty Years of Confusion in Human Evaluation: NLG Needs Evaluation Sheets and Standardised Definitions.	INLG	2020	DBLP DOI BibTeX RDF
12	Evangelia Spiliopoulou, Artidoro Pagnoni, Eduard H. Hovy	Definition Frames: Using Definitions for Hybrid Concept Representations.	COLING	2020	DBLP DOI BibTeX RDF
12	Daiki Hiraga, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka	Security Definitions on Time-Lock Puzzles.	ICISC	2020	DBLP DOI BibTeX RDF
12	W. van Donge, Nitesh Bharosa, M. F. W. H. A. Janssen	Future government data strategies: data-driven enterprise or data steward?: Exploring definitions and challenges for the government as data enterprise.	DG.O	2020	DBLP DOI BibTeX RDF
12	Brian McKitrick	"Let's Play" Communities: Definitions, Evolution, and Economies.	CHI PLAY (Companion)	2020	DBLP DOI BibTeX RDF
12	Liesbeth Allein, Marie-Francine Moens	Checkworthiness in Automatic Claim Detection Models: Definitions and Analysis of Datasets.	MISDOOM	2020	DBLP DOI BibTeX RDF
12	Caterina Caprioli, Marta Bottero, Giulio Mondini	Urban Ecosystem Services: A Review of Definitions and Classifications for the Identification of Future Research Perspectives.	ICCSA (5)	2020	DBLP DOI BibTeX RDF
12	Haibo Ding, Zhe Feng	Learning to Classify Human Needs of Events from Category Definitions with Prototypical Instantiation.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
12	Merishna Ramtahalsing, Mohsen Jafari, Jan Braaksma, Mohammad Rajabalinejad, Leo A. M. van Dongen	The System (of Interest) Definitions phase: Key features and challenges in the Dutch Railway system.	SoSE	2020	DBLP DOI BibTeX RDF
12	Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini	Extending DL-LiteR TBoxes with View Definitions.	Description Logics	2020	DBLP BibTeX RDF
12	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
12	Paul Tarau	Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic.	LOPSTR	2020	DBLP DOI BibTeX RDF
12	Alexander Sakharov	Hierarchical Resolution For Structured Predicate Definitions.	SETN	2020	DBLP DOI BibTeX RDF
12	Vasile Florian Pais, Dan Tufis, Radu Ion	MWSA Task at GlobaLex 2020: RACAI's Word Sense Alignment System using a Similarity Measurement of Dictionary Definitions.	GLOBALEX@LREC	2020	DBLP BibTeX RDF
12	Natalia Vanetik, Marina Litvak, Sergey Shevchuk, Lior Reznik	Automated Discovery of Mathematical Definitions in Text.	LREC	2020	DBLP BibTeX RDF
12	Karen M. Bavuso, Melinda Wong, Emily Man Wai Chan, Saverio M. Maviglia, Roberto A. Rocha	Using semantic inferences to augment standard data definitions.	AMIA	2020	DBLP BibTeX RDF
12	Xinwei Zhao, Matthew C. Stamm	The Effect of Class Definitions on the Transferability of Adversarial Attacks Against Forensic CNNs.	Media Watermarking, Security, and Forensics	2020	DBLP DOI BibTeX RDF
12	Matthias Nagel 0001	Anonymous Point Collection - Improved Models and Security Definitions.		2020	RDF
12	Anna Hätty	Automatic term extraction for conventional and extended term definitions across domains		2020	DOI RDF
12	Stefano Beretta 0001, Luca Denti, Marco Previtali	Graph Theory and Definitions.	Encyclopedia of Bioinformatics and Computational Biology (1)	2019	DBLP DOI BibTeX RDF
12	Sourabh Kulkarni, Priyanka Verma, R. Mukundan 0002	Assessing manufacturing strategy definitions utilising text-mining.	Int. J. Prod. Res.	2019	DBLP DOI BibTeX RDF
12	Rebecca Kukla	Infertility, epistemic risk, and disease definitions.	Synth.	2019	DBLP DOI BibTeX RDF
12	Robert A. Proctor, Lindsey M. Scoppetta	d-Complete Posets: Local Structural Axioms, Properties, and Equivalent Definitions.	Order	2019	DBLP DOI BibTeX RDF
12	Matteo Zampieri, Bruna Grizzetti, Michele Meroni, Enrico Scoccimarro, Anton Vrieling, Gustavo Naumann, Andrea Toreti	Annual Green Water Resources and Vegetation Resilience Indicators: Definitions, Mutual Relationships, and Future Climate Projections.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
12	Junzhou Zhao, Pinghui Wang, John C. S. Lui	Optimizing node discovery on networks: Problem definitions, fast algorithms, and observations.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
12	Barbara Rita Barricelli, Elena Casiraghi, Daniela Fogli	A Survey on Digital Twin: Definitions, Characteristics, Applications, and Design Implications.	IEEE Access	2019	DBLP DOI BibTeX RDF
12	José Camacho-Collados, Claudio Delli Bovi, Alessandro Raganato, Roberto Navigli	SenseDefs: a multilingual corpus of semantically annotated textual definitions - Exploiting multiple languages and resources jointly for high-quality Word Sense Disambiguation and Entity Linking.	Lang. Resour. Evaluation	2019	DBLP DOI BibTeX RDF
12	Robert A. Ellis, Feifei Han, Abelardo Pardo	When Does Collaboration Lead to Deeper Learning? Renewed Definitions of Collaboration for Engineering Students.	IEEE Trans. Learn. Technol.	2019	DBLP DOI BibTeX RDF
12	Jean Hardy, Susan Wyche, Tiffany C. Veinot	Rural HCI Research: Definitions, Distinctions, Methods, and Opportunities.	Proc. ACM Hum. Comput. Interact.	2019	DBLP DOI BibTeX RDF
12	Yishu Wang 0001, Ye Yuan 0001, Yuliang Ma, Guoren Wang	Time-Dependent Graphs: Definitions, Applications, and Algorithms.	Data Sci. Eng.	2019	DBLP DOI BibTeX RDF
12	Payuna Uday, Rakshit Chandrahasa, Karen B. Marais	System Importance Measures: Definitions and Application to System-of-Systems Analysis.	Reliab. Eng. Syst. Saf.	2019	DBLP DOI BibTeX RDF
12	James A. Overton, Randi Vita, Patrick Dunn, Julie G. Burel, Syed Ahmad Chan Bukhari, Kei-Hoi Cheung, Steven H. Kleinstein, Alexander D. Diehl, Bjoern Peters	Reporting and connecting cell type names and gating definitions through ontologies.	BMC Bioinform.	2019	DBLP DOI BibTeX RDF
12	Maxweel Carmo, Felipe Sampaio Dantas da Silva, Augusto José Venâncio Neto, Daniel Corujo, Rui L. Aguiar	Network-Cloud Slicing Definitions for Wi-Fi Sharing Systems to Enhance 5G Ultra Dense Network Capabilities.	Wirel. Commun. Mob. Comput.	2019	DBLP DOI BibTeX RDF
12	G. Sales Teodoro, J. A. Tenreiro Machado, E. Capelas De Oliveira	A review of definitions of fractional derivatives and other operators.	J. Comput. Phys.	2019	DBLP DOI BibTeX RDF
12	David Derler, Daniel Slamanig	Key-homomorphic signatures: definitions and applications to multiparty signatures and non-interactive zero-knowledge.	Des. Codes Cryptogr.	2019	DBLP DOI BibTeX RDF
12	Edoardo Rivello	Revision Without Revision Sequences: Circular Definitions.	J. Philos. Log.	2019	DBLP DOI BibTeX RDF
12	Shuo Feng 0002, Yi Zhang 0029, Shengbo Eben Li, Zhong Cao, Henry X. Liu, Li Li 0013	String stability for vehicular platoon control: Definitions and analysis methods.	Annu. Rev. Control.	2019	DBLP DOI BibTeX RDF
12	Mahmoud Efatmaneshnik, Michael J. Ryan	On the Definitions of Sufficiency and Elegance in Systems Design.	IEEE Syst. J.	2019	DBLP DOI BibTeX RDF
12	Jette Kofoed, Elisabeth Staksrud	'We always torment different people, so by definition, we are no bullies': The problem of definitions in cyberbullying research.	New Media Soc.	2019	DBLP DOI BibTeX RDF
12	Si Zhang, Hanghang Tong	Attributed Network Alignment: Problem Definitions and Fast Solutions.	IEEE Trans. Knowl. Data Eng.	2019	DBLP DOI BibTeX RDF
12	Weijia Shi, Muhao Chen, Yingtao Tian, Kai-Wei Chang	Learning Bilingual Word Embeddings Using Lexical Definitions.	CoRR	2019	DBLP BibTeX RDF
12	Lore Goetschalckx, Alex Andonian, Aude Oliva, Phillip Isola	Lore Goetschalckx, Alex Andonian, Aude Oliva, Phillip Isola: GANalyze: Toward Visual Definitions of Cognitive Image Properties.	CoRR	2019	DBLP BibTeX RDF
12	Diego Agustín Ambrossio, Marcos Cramer	A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions.	CoRR	2019	DBLP BibTeX RDF
12	Malvin Gattinger, Yanjing Wang 0001	How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.	TARK	2019	DBLP DOI BibTeX RDF
12	Evangelia Spiliopoulou, Eduard H. Hovy	Definition Frames: Using Definitions for Hybrid Concept Representations.	CoRR	2019	DBLP BibTeX RDF
12	Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma 0001, Thayne T. Walker, Jiaoyang Li 0001, Dor Atzmon, Liron Cohen 0002, T. K. Satish Kumar, Eli Boyarski, Roman Barták	Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks.	CoRR	2019	DBLP BibTeX RDF
12	Robert B. Allen	Definitions and Semantic Simulations Based on Object-Oriented Analysis and Modeling.	CoRR	2019	DBLP BibTeX RDF
12	Liangyi Kang, Jie Liu 0008, Lingqiao Liu, Qinfeng Shi, Dan Ye 0004	Creating Auxiliary Representations from Charge Definitions for Criminal Charge Prediction.	CoRR	2019	DBLP BibTeX RDF
12	Alekh Agarwal, Miroslav Dudík, Zhiwei Steven Wu	Fair Regression: Quantitative Definitions and Reduction-based Algorithms.	CoRR	2019	DBLP BibTeX RDF
12	Rongrong Lin, Haizhang Zhang, Jun Zhang 0009	On Reproducing Kernel Banach Spaces: Generic Definitions and Unified Framework of Constructions.	CoRR	2019	DBLP BibTeX RDF
12	Alice Xiang, Inioluwa Deborah Raji	On the Legal Compatibility of Fairness Definitions.	CoRR	2019	DBLP BibTeX RDF
12	Victor Prokhorov, Mohammad Taher Pilehvar, Nigel Collier	Generating Knowledge Graph Paths from Textual Definitions using Sequence-to-Sequence Models.	CoRR	2019	DBLP BibTeX RDF
12	Hesam Nejati Sharif Aldin, Hossein Deldari, Mohammad Hossein Moattar, Mostafa Razavi Ghods	Consistency models in distributed systems: A survey on definitions, disciplines, challenges and applications.	CoRR	2019	DBLP BibTeX RDF
12	W. James Murdoch, Chandan Singh, Karl Kumbier, Reza Abbasi-Asl, Bin Yu 0001	Interpretable machine learning: definitions, methods, and applications.	CoRR	2019	DBLP BibTeX RDF
12	Christine Bauer 0001, Markus Schedl	Global and country-specific mainstreaminess measures: Definitions, analysis, and usage for improving personalized music recommendation systems.	CoRR	2019	DBLP BibTeX RDF
12	Eberle A. Rambo, Bryan Donyanavard, Minjun Seo, Florian Maurer 0003, Thawra Kadeed, Caio Batista de Melo, Biswadip Maity, Anmol Surhonne, Andreas Herkersdorf, Fadi J. Kurdahi, Nikil D. Dutt, Rolf Ernst	The Information Processing Factory: Organization, Terminology, and Definitions.	CoRR	2019	DBLP BibTeX RDF
12	Giovanni Cesaroni, Kristiaan Kerstens, Ignace Van de Woestyne	Short- and long-run plant capacity notions: Definitions and comparison.	Eur. J. Oper. Res.	2019	DBLP DOI BibTeX RDF
12	Francesco Dagnino	Coaxioms: flexible coinductive definitions by inference systems.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
12	Stefano Berardi, Makoto Tatsuta	Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
12	Hongxia Miao, Feng Zhang 0011, Ran Tao 0003	New Statistics of the Second-Order Chirp Cyclostationary Signals: Definitions, Properties and Applications.	IEEE Trans. Signal Process.	2019	DBLP DOI BibTeX RDF
12	Keita Emura, Goichiro Hanaoka, Yutaka Kawai, Takahiro Matsuda 0002, Kazuma Ohara, Kazumasa Omote, Yusuke Sakai 0001	Group Signatures with Message-Dependent Opening: Formal Definitions and Constructions.	Secur. Commun. Networks	2019	DBLP DOI BibTeX RDF
12	Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto	Equivalents of the finitary non-deterministic inductive definitions.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
12	Leo Egghe, Yves Fassin, Ronald Rousseau 0001	Equalities between h-type Indices and Definitions of Rational h-type Indicators.	J. Data Inf. Sci.	2019	DBLP DOI BibTeX RDF
12	Cheikh Kacfah Emani, Catarina Ferreira Da Silva, Bruno Fiés, Parisa Ghodous	NALDO: From natural language definitions to OWL expressions.	Data Knowl. Eng.	2019	DBLP DOI BibTeX RDF
12	Ben Smyth	Surveying definitions of coercion resistance.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12	Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth	A critique of game-based definitions of receipt-freeness for voting.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12	Karim Baghery	Subversion-Resistant Commitment Schemes: Definitions and Constructions.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12	Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi	Authentication in Key-Exchange: Definitions, Relations and Composition.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12	Jianye Huang, Qiong Huang 0001	Leakage-Resilient Group Signature: Definitions and Constructions.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12		Repudiable Ring Signatures: Stronger Definitions and Logarithmic-Size.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
12	Vera Flocke	Carnap's Defense of Impredicative Definitions.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
12	Patrick Baillot, Gilles Barthe, Ugo Dal Lago	Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
12	Ian Galton, Colin Weltin-Wu	Understanding Phase Error and Jitter: Definitions, Implications, Simulations, and Measurement.	IEEE Trans. Circuits Syst. I Regul. Pap.	2019	DBLP DOI BibTeX RDF
12	Dat Duong, Wasi Uddin Ahmad, Eleazar Eskin, Kai-Wei Chang, Jingyi Jessica Li	Word and Sentence Embedding Tools to Measure Semantic Similarity of Gene Ontology Terms by Their Definitions.	J. Comput. Biol.	2019	DBLP DOI BibTeX RDF
12	Theo Lynn, Patricia Takako Endo, Pierangelo Rosati, Ivanovitch Silva, Guto Leoni Santos, Debbie Ging	Urban Dictionary definitions dataset for misogyny speech detection.		2019	DOI RDF
12	Lore Goetschalckx, Alex Andonian, Aude Oliva, Phillip Isola	GANalyze: Toward Visual Definitions of Cognitive Image Properties.	ICCV	2019	DBLP DOI BibTeX RDF
12	Axel Böttcher, Veronika Thurner, Olga Nikoliai	Lernzieldefinitionen für Software Engineering - The Good, the Bad and the Ugly (Definitions of Learning Outcomes for Software Engineering - The Good, the Bad and the Ugly).	SEUH	2019	DBLP BibTeX RDF
12	Jeremy Yallop, Oleg Kiselyov	Generating mutually recursive definitions.	PEPM@POPL	2019	DBLP DOI BibTeX RDF
12	Nobukatsu Hojo, Noboru Miyazaki	Evaluating Intention Communication by TTS Using Explicit Definitions of Illocutionary Act Performance.	INTERSPEECH	2019	DBLP DOI BibTeX RDF
12	Deeksha Adiani, Daniel Lewis, Vanessa Serao, Kevin Barrett, Amelia Bennett, Derick Hambly, Martina Shenoda, Samuel West, Garrett Coulter, Sultan Shagal, Toheeb Biala, Medha Shukla Sarkar, Joshua W. Wade, Nilanjan Sarkar	Design of a Novel Web Utility that Provides Multi-lingual Word Definitions for Child E-Book Applications.	HCI (26)	2019	DBLP DOI BibTeX RDF
12	Chitu Okoli	Definitional Definitions and the Bare Minimum of Theory.	AMCIS	2019	DBLP BibTeX RDF
12	Tina Wu, Frank Breitinger, Ibrahim M. Baggili	IoT Ignorance is Digital Forensics Research Bliss: A Survey to Understand IoT Forensics Definitions, Challenges and Future Research Directions.	ARES	2019	DBLP DOI BibTeX RDF
12	Yongpan Sheng, Tianxing Wu 0001, Xin Wang 0030	Incorporating Term Definitions for Taxonomic Relation Identification.	JIST	2019	DBLP DOI BibTeX RDF
12	Atsuko Yamaguchi, Tatsuya Kushida, Yasunori Yamamoto, Kouji Kozaki	Investigating Schema Definitions Using RDFS and OWL 2 for RDF Databases in Life Sciences.	JIST (2)	2019	DBLP DOI BibTeX RDF
12	Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura	Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.	APLAS	2019	DBLP DOI BibTeX RDF
12	Pedro Gómez-López, Francisco Montero Simarro, María Teresa López Bonal	Analysing the UX scope through its definitions.	Interacción	2019	DBLP DOI BibTeX RDF
12	Victor Prokhorov, Mohammad Taher Pilehvar, Nigel Collier	Generating Knowledge Graph Paths from Textual Definitions using Sequence-to-Sequence Models.	NAACL-HLT (1)	2019	DBLP DOI BibTeX RDF
12	Marcus Botacin, Lucas Galante, Fabricio Ceschin, Paulo C. Santos 0001, Luigi Carro, Paulo Lício de Geus, André Grégio, Marco A. Z. Alves	The AV says: Your Hardware Definitions Were Updated!	ReCoSoC	2019	DBLP DOI BibTeX RDF
12	K. Bretonnel Cohen, Lawrence E. Hunter, Peter S. Pressman	P-Hacking Lexical Richness Through Definitions of "Type" and "Token".	MedInfo	2019	DBLP DOI BibTeX RDF
12	Ayako Yagahara, Masahito Uesugi, Hideto Yokoi	Evaluation of Similar Term Definitions in Medical Device Adverse Event Terminology.	MedInfo	2019	DBLP DOI BibTeX RDF