Search results for "definitions"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Arsenii Moskvichev, Roman Tikhonov, Mark Steyvers	A Picture is Worth 7.17 Words: Learning Categories from Examples and Definitions.	CogSci	2019	DBLP BibTeX RDF
12	Valerii Semenets, Igor Zakharov, Maryna Serhiienko, Vladimir M. Kartashov, Daniel Hernandez Balbuena, Marina Kolendovska, Wilmar Hernandez, Juan Ivan Nieto-Hipólito, Vera Tyrsa	Research of the Uncertainty of Measurement Frequencies and Definitions of the Frequency Signal in the Waveguide with Respect to Power.	IECON	2019	DBLP DOI BibTeX RDF
12	Elizabeth A. Buie	Let Us Say What We Mean: Towards Operational Definitions for Techno-Spirituality Research.	CHI Extended Abstracts	2019	DBLP DOI BibTeX RDF
12	Lionov Wiratma, Marc J. van Kreveld, Maarten Löffler, Frank Staals	An Experimental Evaluation of Grouping Definitions for Moving Entities.	SIGSPATIAL/GIS	2019	DBLP DOI BibTeX RDF
12	Justine Reynaud, Yannick Toussaint, Amedeo Napoli	Redescription Mining for Learning Definitions and Disjointness Axioms in Linked Open Data.	ICCS	2019	DBLP DOI BibTeX RDF
12	Mario José Diván, María Laura Sánchez Reynoso	Incorporating Scenarios and States Definitions on Real-Time Entity Monitoring in PAbMM.	CLEI	2019	DBLP DOI BibTeX RDF
12	Michael Dinitz, Naomi Ephraim	Reception Capacity: Definitions, Game Theory and Hardness.	ALGOSENSORS	2019	DBLP DOI BibTeX RDF
12	Yifang Sun, Shifeng Liu 0002, Yufei Wang 0003, Wei Wang 0011	Extracting Definitions and Hypernyms with a Two-Phase Framework.	DASFAA (3)	2019	DBLP DOI BibTeX RDF
12	Chun Guo 0002, Olivier Pereira, Thomas Peters, François-Xavier Standaert	Authenticated Encryption with Nonce Misuse and Physical Leakage: Definitions, Separation Results and First Construction - (Extended Abstract).	LATINCRYPT	2019	DBLP DOI BibTeX RDF
12	Justine Reynaud, Yannick Toussaint, Amedeo Napoli	Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data.	ICFCA	2019	DBLP DOI BibTeX RDF
12	Jens Katelaan, Christoph Matheja, Florian Zuleger	Effective Entailment Checking for Separation Logic with Inductive Definitions.	TACAS (2)	2019	DBLP DOI BibTeX RDF
12	Ranita Biswas, Gaëlle Largeteau-Skapin, Rita Zrour, Eric Andres	Rhombic Dodecahedron Grid - Coordinate System and 3D Digital Object Definitions.	DGCI	2019	DBLP DOI BibTeX RDF
12	Christopher Gerking, Ingo Budde	Heuristic Inference of Model Transformation Definitions from Type Mappings.	MoDELS (Companion)	2019	DBLP DOI BibTeX RDF
12	Wail El Hilali, Abdellah El Manouar	Digital business models: definitions, drivers and new trends.	SCA	2019	DBLP DOI BibTeX RDF
12	Weijia Shi, Muhao Chen, Yingtao Tian, Kai-Wei Chang	Learning Bilingual Word Embeddings Using Lexical Definitions.	RepL4NLP@ACL	2019	DBLP DOI BibTeX RDF
12	Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth	A Critique of Game-Based Definitions of Receipt-Freeness for Voting.	ProvSec	2019	DBLP DOI BibTeX RDF
12	Mahmoud Bakkar, Ammar Alazab	Information Security: Definitions, Threats and Management in Dubai Hospitals Context.	CCC	2019	DBLP DOI BibTeX RDF
12	Adam Craig, Adarsh Ambati, Shiladitya Dutta, Arush Mehrotra, S. Koby Taswell, Carl Taswell	Definitions, formulas, and simulated examples for plagiarism detection with FAIR metrics.	ASIST	2019	DBLP DOI 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, Roman Barták, Eli Boyarski	Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks.	SOCS	2019	DBLP DOI BibTeX RDF
12	Abu Naser Masud, Federico Ciccozzi	Towards Constructing the SSA form using Reaching Definitions Over Dominance Frontiers.	SCAM	2019	DBLP DOI BibTeX RDF
12	Alekh Agarwal, Miroslav Dudík, Zhiwei Steven Wu	Fair Regression: Quantitative Definitions and Reduction-Based Algorithms.	ICML	2019	DBLP BibTeX RDF
12	Dagmar Monett, Luisa Hoge, Colin W. P. Lewis	Cognitive Biases Undermine Consensus on Definitions of Intelligence and Limit Understanding.	LaCATODA/BtG@IJCAI	2019	DBLP BibTeX RDF
12	David J. Kelley, M. Amon Twyman, S. Mason Dambrot	Preliminary Mediated Artificial Superintelligence Study, Experimental Framework, and Definitions for an Independent Core Observer Model Cognitive Architecture-Based System.	BICA	2019	DBLP DOI BibTeX RDF
12	Jen Jen Chung, Damjan Miklic, Lorenzo Sabattini, Kagan Tumer, Roland Siegwart	The Impact of Agent Definitions and Interactions on Multiagent Learning for Coordination.	AAMAS	2019	DBLP BibTeX RDF
12	Jan Merkus, Remko Helms, Rob J. Kusters	Data Governance and Information Governance: Set of Definitions in Relation to Data and Information as Part of DIKW.	ICEIS (2)	2019	DBLP DOI BibTeX RDF
12	Adisorn Ode-sri, Hanno Hortsch, Thomas Köhler 0001, Saowakhon Khunnawut, Sukanjana Lekapat	A Case Study of How Centers of Excellence on TVET Are Operated in Asia and Europe to Enhance an Understanding of Definitions and Classification.	ICL (2)	2019	DBLP DOI BibTeX RDF
12	Luis Berlioz	Creating a Database of Definitions From Large Mathematical Corpora.	CICM Workshops	2019	DBLP BibTeX RDF
12	James Kirk	Learning Hierarchical Compositional Task Definitions through Online Situated Interactive Language Instruction.		2019	RDF
12	Ondrej Kuncar, Andrei Popescu 0001	Safety and conservativity of definitions in HOL and Isabelle/HOL.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
12	Leonardo Bich, Sara Green	Is defining life pointless? Operational definitions at the frontiers of biology.	Synth.	2018	DBLP DOI BibTeX RDF
12	Sébastien Richard	Leśniewski on metalogic and definitions.	Synth.	2018	DBLP DOI BibTeX RDF
12	Laurence Danlos, Katerina Rysova, Magdalena Rysova, Manfred Stede	Primary and secondary discourse connectives: definitions and lexicons.	Dialogue Discourse	2018	DBLP BibTeX RDF
12	Kentaro Fujimoto	Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
12	Toshiyasu Arai	Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
12	Giovanni Curi	Abstract Inductive and Co-Inductive Definitions.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
12	William T. Scherer, Stephen C. Adams, Peter A. Beling	On the Practical Art of State Definitions for Markov Decision Process Construction.	IEEE Access	2018	DBLP DOI BibTeX RDF
12	Marco Bongini, Antonino Freno, Vincenzo Laveglia, Edmondo Trentin	Dynamic Hybrid Random Fields for the Probabilistic Graphical Modeling of Sequential Data: Definitions, Algorithms, and an Application to Bioinformatics.	Neural Process. Lett.	2018	DBLP DOI BibTeX RDF
12	Suzanie Adina Mat Saat, Mark Hepworth, Tom Jackson 0001	"She looked like an Alien": Experience and definitions children attach to a parental cancer diagnosis.	Aslib J. Inf. Manag.	2018	DBLP DOI BibTeX RDF
12	Ömer Kisi, Hafize Gümüs, Ekrem Savas	New Definitions about A I -Statistical Convergence with Respect to a Sequence of Modulus Functions and Lacunary Sequences.	Axioms	2018	DBLP DOI BibTeX RDF
12	Kerry A. McBrien, Sepideh Souri, Nicola E. Symonds, Azin Rouhi, Brendan C. Lethebe, Tyler S. Williamson, Stephanie Garies, Richard Birtwhistle, Hude Quan, Gabriel E. Fabreau, Paul E. Ronksley	Identification of validated case definitions for medical conditions used in primary care electronic medical record databases: a systematic review.	J. Am. Medical Informatics Assoc.	2018	DBLP DOI BibTeX RDF
12	Jason Bennett Thatcher, Ryan T. Wright, Heshan Sun, Thomas J. Zagenczyk, Richard Klein 0001	Mindfulness in Information Technology Use: Definitions, Distinctions, and a New Measure.	MIS Q.	2018	DBLP DOI BibTeX RDF
12	Álvaro Cortés Cabrera, Paula M. Petrone	Optimal HTS Fingerprint Definitions by Using a Desirability Function and a Genetic Algorithm.	J. Chem. Inf. Model.	2018	DBLP DOI BibTeX RDF
12	Cristina Serban, Radu Iosif	An Entailment Checker for Separation Logic with Inductive Definitions.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2018	DBLP DOI BibTeX RDF
12	DuWayne L. Willett, Vaishnavi Kannan, Ling Chu, Joel R. Buchanan, Ferdinand Velasco, John Clark, Jason C. Fish, Adolfo Ortuzar, Josh E. Youngblood, Deepa Bhat, Mujeeb Basit	SNOMED CT Concept Hierarchies for Sharing Definitions of Clinical Conditions Using Electronic Health Record Data.	Appl. Clin. Inform.	2018	DBLP DOI BibTeX RDF
12	Ed Fincham, Dragan Gasevic, Abelardo Pardo	From Social Ties to Network Processes: Do Tie Definitions Matter?	J. Learn. Anal.	2018	DBLP DOI BibTeX RDF
12	Wenpeng Yin 0001, Dan Roth	Term Definitions Help Hypernymy Detection.	CoRR	2018	DBLP BibTeX RDF
12	Denis K. Ponomaryov, Stepan Yakovenko	DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies.	CoRR	2018	DBLP BibTeX RDF
12	Artyom Gadetsky, Ilya Yakubovskiy, Dmitry P. Vetrov	Conditional Generators of Words Definitions.	CoRR	2018	DBLP BibTeX RDF
12	Ting-Yun Chang, Ta-Chung Chi, Shang-Chi Tsai, Yun-Nung Chen	xSense: Learning Sense-Separated Sparse Representations and Textual Definitions for Explainable Word Sense Networks.	CoRR	2018	DBLP BibTeX RDF
12	Dimitrios I. Diochnos, Saeed Mahloujifar, Mohammad Mahmoody	Adversarial Risk and Robustness: General Definitions and Implications for the Uniform Distribution.	CoRR	2018	DBLP BibTeX RDF
12	Simon Colin, Rodolphe Lepigre, Gabriel Scherer	Unboxing Mutually Recursive Type Definitions in OCaml.	CoRR	2018	DBLP BibTeX RDF
12	Francesco Dagnino	Coaxioms: flexible coinductive definitions by inference systems.	CoRR	2018	DBLP BibTeX RDF
12	Lucy Lu Wang, Chandra Bhagavatula, Mark Neumann, Kyle Lo, Chris Wilhelm, Waleed Ammar	Ontology Alignment in the Biomedical Domain Using Entity Definitions and Context.	CoRR	2018	DBLP BibTeX RDF
12	Vivian Dos Santos Silva, André Freitas, Siegfried Handschuh	Building a Knowledge Graph from Natural Language Definitions for Interpretable Text Entailment Recognition.	CoRR	2018	DBLP BibTeX RDF
12	Joseph Y. Halpern, Max Kleiman-Weiner	Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility.	CoRR	2018	DBLP BibTeX RDF
12	Samuel Yeom, Michael Carl Tschantz	Discriminative but Not Discriminatory: A Comparison of Fairness Definitions under Different Worldviews.	CoRR	2018	DBLP BibTeX RDF
12	Alban Reynaud, Gabriel Scherer, Jeremy Yallop	A right-to-left type system for mutually-recursive value definitions.	CoRR	2018	DBLP BibTeX RDF
12	Vivian Dos Santos Silva, Siegfried Handschuh, André Freitas	Categorization of Semantic Roles for Dictionary Definitions.	CoRR	2018	DBLP BibTeX RDF
12	Rafael Diniz	Towards a Ginga-enabled Digital Radio Mondiale Broadcasting chain: Signaling and Definitions.	CoRR	2018	DBLP BibTeX RDF
12	Ramana Kumar, Magnus O. Myreen	Clocked Definitions in HOL.	CoRR	2018	DBLP BibTeX RDF
12	Remedios Hernandez-Linares, Soumodip Sarkar, Manuel J. Cobo	Inspecting the Achilles heel: a quantitative analysis of 50 years of family business definitions.	Scientometrics	2018	DBLP DOI BibTeX RDF
12	Yu Fu, Sheng Jiang, Bing Liu 0006, Jiang Dong, Yuchi Chen	Definitions of Managed Objects for Mapping of Address and Port with Encapsulation (MAP-E).	RFC	2018	DBLP DOI BibTeX RDF
12	Simon Dor	Strategy in Games or Strategy Games: Dictionary and Encyclopaedic Definitions for Game Studies.	Game Stud.	2018	DBLP BibTeX RDF
12	Lynn D'eer, Chris Cornelis	A comprehensive study of fuzzy covering-based rough set models: Definitions, properties and interrelationships.	Fuzzy Sets Syst.	2018	DBLP DOI BibTeX RDF
12	Chun Guo 0002, Olivier Pereira, Thomas Peters, François-Xavier Standaert	Leakage-Resilient Authenticated Encryption with Misuse in the Leveled Leakage Setting: Definitions, Separation Results, and Constructions.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
12	Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani	Definitions for Plaintext-Existence Hiding in Cloud Storage.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
12	Phillip Rogaway, Yusi Zhang	Simplifying Game-Based Definitions: Indistinguishability up to Correctness and Its Application to Stateful AE.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
12	Sebastian Meiser 0001	Approximate and Probabilistic Differential Privacy Definitions.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
12	Qing Xia, Alain Etienne, Jean-Yves Dantan, Ali Siadat	Reconfigurable machining process planning for part variety in new manufacturing paradigms: Definitions, models and framework.	Comput. Ind. Eng.	2018	DBLP DOI BibTeX RDF
12	João Pires Ribeiro, Ana Paula F. D. Barbosa-Póvoa	Supply Chain Resilience: Definitions and quantitative modelling approaches - A literature review.	Comput. Ind. Eng.	2018	DBLP DOI BibTeX RDF
12	Christopher Theisen, Nuthan Munaiah, Mahran Al-Zyoud, Jeffrey C. Carver, Andrew Meneely, Laurie A. Williams	Attack surface definitions: A systematic literature review.	Inf. Softw. Technol.	2018	DBLP DOI BibTeX RDF
12	César R. García-Jacas, Lisset Cabrera-Leyva, Yovani Marrero-Ponce, José Suárez-Lezcano, Fernando Cortés-Guzmán, Mario Pupo-Meriño, Ricardo Vivas-Reyes	Choquet integral-based fuzzy molecular characterizations: when global definitions are computed from the dependency among atom/bond contributions (LOVIs/LOEIs).	J. Cheminformatics	2018	DBLP DOI BibTeX RDF
12	Xiaoli He, Ling Wei, Yanhong She	L-fuzzy concept analysis for three-way decisions: basic definitions and fuzzy inference mechanisms.	Int. J. Mach. Learn. Cybern.	2018	DBLP DOI BibTeX RDF
12	Jocelyn Sabatier, Christophe Farges	Comments on the description and initialization of fractional partial differential equations using Riemann-Liouville's and Caputo's definitions.	J. Comput. Appl. Math.	2018	DBLP DOI BibTeX RDF
12	Hadas Chasidim, Dani Almog, Dov Benyomin Sohacheski, Mark Lee Gillenson, Robin S. Poston, Shlomo Mark	The Unit Test: Facing CICD - Are They Elusive Definitions?	J. Inf. Technol. Manag.	2018	DBLP BibTeX RDF
12	Teofilo F. Gonzalez	Introduction, Overview and Definitions.	Handbook of Approximation Algorithms and Metaheuristics (2)	2018	DBLP BibTeX RDF
12	Stefano Berardi, Makoto Tatsuta	Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs.	CMCS	2018	DBLP DOI BibTeX RDF
12	Dean McHugh	Diagrammatic Definitions of Causal Claims.	Diagrams	2018	DBLP DOI BibTeX RDF
12	Zouhaier Brahmia, Fabio Grandi 0001, Rafik Bouaziz	Normalization of XML Schema Definitions.	ICSENT	2018	DBLP DOI BibTeX RDF
12	Domenico Saccà, Edoardo Serra, Alfredo Cuzzocrea	The Inverse Tree-OLAP Problem: Definitions, Models, Complexity Analysis, and a Possible Solution.	IDEAS	2018	DBLP DOI BibTeX RDF
12	Andrew John Berrisford	The harmonic impact project - IEEE-1459 power definitions trialed in revenue meters.	I2MTC	2018	DBLP DOI BibTeX RDF
12	Thijs Scheepers, Evangelos Kanoulas, Efstratios Gavves	Improving Word Embedding Compositionality using Lexicographic Definitions.	WWW	2018	DBLP DOI BibTeX RDF
12	Yuichi Semura, Norihiro Yoshida, Eunjong Choi, Katsuro Inoue	Multilingual Detection of Code Clones Using ANTLR Grammar Definitions.	APSEC	2018	DBLP DOI BibTeX RDF
12	Colin Boyd, Gareth T. Davies, Kristian Gjøsteen, Håvard Raddum, Mohsen Toorani	Definitions for Plaintext-Existence Hiding in Cloud Storage.	ARES	2018	DBLP DOI BibTeX RDF
12	Luke Immes, Haim Levkowitz	An Interactive Knowledge Maintenance Algorithm for Recasting WordNet Synonym-Set Definitions into Lojbanic Primitives, then into Lojbanic English.	BDAS	2018	DBLP DOI BibTeX RDF
12	Denis K. Ponomaryov, Stepan Yakovenko	DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies.	JIST	2018	DBLP DOI BibTeX RDF
12	Gustavo Almeida, Claudia Cappelli, Cristiano Maciel, Yamile Mahecha	Co-production of Digital Services: Definitions, Frameworks, Cases and Evaluation Initiatives - Findings from a Systematic Literature Review.	EGOVIS	2018	DBLP DOI BibTeX RDF
12	Anna Hätty, Sabine Schulte im Walde	A Laypeople Study on Terminology Identification across Domains and Task Definitions.	NAACL-HLT (2)	2018	DBLP DOI BibTeX RDF
12	John A. Paravantis, N. Kontoulis, Athanasios Ballis, D. Tsirigotis, V. Dourmas	A Geopolitical Review of Definitions, Dimensions and Indicators of Energy Security.	IISA	2018	DBLP DOI BibTeX RDF
12	Christophe Debruyne, Dave Lewis 0001, Declan O'Sullivan	Generating Executable Mappings from RDF Data Cube Data Structure Definitions.	OTM Conferences (2)	2018	DBLP DOI BibTeX RDF
12	Christian Lins, Sebastian J. F. Fudickar, Andreas Hein 0001	XML Skeleton Definitions for Human Posture Assessments.	GMDS	2018	DBLP DOI BibTeX RDF
12	Gadi Taubenfeld	Weak Failures: Definitions, Algorithms and Impossibility Results.	NETYS	2018	DBLP DOI BibTeX RDF
12	Joseph Y. Halpern, Max Kleiman-Weiner	Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility.	AAAI	2018	DBLP DOI BibTeX RDF
12	Markus Frohme, Bernhard Steffen	Active Mining of Document Type Definitions.	FMICS	2018	DBLP DOI BibTeX RDF
12	Citlalli Mejía, Julio Collado-Vides	A Falsification Approach to Create and Check Ontology Definitions.	ICBO	2018	DBLP BibTeX RDF
12	Nicolas Matentzoglu, David Osumi-Sutherland	Reconciling Ontology Definitions using the Ontology Pattern Reconciliation Workbench and the DOSDP Framework.	ICBO	2018	DBLP BibTeX RDF
12	Wenpeng Yin 0001, Dan Roth	Term Definitions Help Hypernymy Detection.	*SEM@NAACL-HLT	2018	DBLP DOI BibTeX RDF
12	Lionov Wiratma, Maarten Löffler, Frank Staals	An Experimental Comparison of Two Definitions for Groups of Moving Entities (Short Paper).	GIScience	2018	DBLP DOI BibTeX RDF
12	Stefan Eng, Jennifer Tan, Markus Iseli	Adjective Intensity Ordering by Representing Word Definitions as a System of Linear Equations.	ICSC	2018	DBLP DOI BibTeX RDF
12	Hamza Ed-Douibi, Javier Luis Cánovas Izquierdo, Jordi Cabot	OpenAPItoUML: A Tool to Generate UML Models from OpenAPI Definitions.	ICWE	2018	DBLP DOI BibTeX RDF