Search results for "Definitions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
64	Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch	Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.	Stud Logica	2005	DBLP DOI BibTeX RDF	Revision Theory, Circular Definitions, Inductive definitions
48	Andreas Goerdt, Helmut Seidl	Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions, Part II.	IMYCS	1990	DBLP DOI BibTeX RDF
47	Marc Denecker, Eugenia Ternovska	A logic of nonmonotone inductive definitions.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	logic programming, classical logic, Inductive definitions
47	Michel Leclère	Reasoning with Type Definitions.	ICCS	1997	DBLP DOI BibTeX RDF	type definitions, atomic form, logical interpretation, projection, contraction, expansion
44	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
44	Antonio Guerrero, Víctor A. Villagrá, Jorge E. López de Vergara, Julio Berrocal	Ontology-Based Integration of Management Behaviour and Information Definitions Using SWRL and OWL.	DSOM	2005	DBLP DOI BibTeX RDF
43	Gert Florijn	Object Protocols as Functional Parsers.	ECOOP	1995	DBLP DOI BibTeX RDF	interface definitions, protocols, functional programming, service definitions
43	Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao	Ranking definitions with supervised learning methods.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	search of definitions, classification, text mining, web search, web mining, ordinal regression
43	Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek	Logic programming revisited: Logic programs as inductive definitions.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	epistemological foundations, inductive definitions
39	Kazuki Yoneyama, Kazuo Ohta	Ring signatures: universally composable definitions and constructions.	AsiaCCS	2007	DBLP DOI BibTeX RDF	anonymity, ring signature, universal composability, unforgeability
39	Oded Goldreich 0001	On Expected Probabilistic Polynomial-Time Adversaries: A Suggestion for Restricted Definitions and Their Benefits.	TCC	2007	DBLP DOI BibTeX RDF
39	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
35	Judith Klavans, Smaranda Muresan	Evaluation of DEFINDER: a system to mine definitions from consumer-oriented medical text.	JCDL	2001	DBLP DOI BibTeX RDF	automatic dictionary creation, medical digital libraries, natural language processing, text data mining
35	Jan M. Zytkow, Zbigniew W. Ras	Foundations and Discovery of Operational Definitions.	ISMIS	2000	DBLP DOI BibTeX RDF
35	Makoto Tatsuta	Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.	MPC	1998	DBLP DOI BibTeX RDF
34	Anish Das Sarma, Aditya G. Parameswaran, Hector Garcia-Molina, Jennifer Widom	Synthesizing view definitions from data.	ICDT	2010	DBLP DOI BibTeX RDF	query synthesis, view definitions, algorithms, complexity
34	Jeremy Avigad	Eliminating definitions and Skolem functions in first-order logic.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Skolem functions, lengths of proofs, Definitions, proof complexity
32	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
32	Joseph Y. Halpern, Kevin R. O'Neill	Anonymity and Information Hiding in Multiagent Systems.	CSFW	2003	DBLP DOI BibTeX RDF
32	Gregory A. Frascadore	Combining explanation based generalization with the learning of macro operators (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
31	Farookh Khadeer Hussain, Elizabeth Chang 0001	An Overview of the Interpretations of Trust and Reputation.	AICT	2007	DBLP DOI BibTeX RDF	trust, reputation, definitions
31	Jonathan Katz, Moti Yung	Characterization of Security Notions for Probabilistic Private-Key Encryption.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Private-key encryptions, Definitions
31	Michael D. Rice, Stephen B. Seidman	A Formal Model for Module Interconnection Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language
30	Adam Bender, Jonathan Katz, Ruggero Morselli	Ring Signatures: Stronger Definitions, and Constructions without Random Oracles.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Anonymity, Signatures
30	Johan Sandberg, Maria Hansson-Sandsten	A Comparison Between Different Discrete Ambiguity Domain Definitions in Stochastic Time-Frequency Analysis.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
30	Matthias Kehlenbeck, Michael H. Breitner	Ontology-Based Exchange and Immediate Application of Business Calculation Definitions for Online Analytical Processing.	DaWaK	2009	DBLP DOI BibTeX RDF
30	Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao, Yalou Huang	A Supervised Learning Approach to Search of Definitions.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	definition search, text mining, web search, web mining
30	Adam Bender, Jonathan Katz, Ruggero Morselli	Ring Signatures: Stronger Definitions, and Constructions Without Random Oracles.	TCC	2006	DBLP DOI BibTeX RDF
30	Marc Denecker, Eugenia Ternovska	A Logic of Non-monotone Inductive Definitions and Its Modularity Properties.	LPNMR	2004	DBLP DOI BibTeX RDF
30	Deepak Kapur, Nikita A. Sakhanenko	Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions.	TPHOLs	2003	DBLP DOI BibTeX RDF
30	Karel Pala, Eva Mráková	Building Consistent Dictionary Definitions.	CICLing	2003	DBLP DOI BibTeX RDF
30	Frank Pfenning, Carsten Schürmann	Algorithms for Equality and Unification in the Presence of Notational Definitions.	TYPES	1998	DBLP DOI BibTeX RDF
30	Matthew Bishop, Peter B. Andrews	Selectively Instantiating Definitions.	CADE	1998	DBLP DOI BibTeX RDF
30	Lawrence C. Paulson	A Fixedpoint Approach to Implementing (Co)Inductive Definitions.	CADE	1994	DBLP DOI BibTeX RDF
30	Philipp Hanschke	Terminological Reasoning and Partial Inductive Definitions.	ELP	1991	DBLP DOI BibTeX RDF
29	H. James Nelson, Altaf Ahmad, Nancy L. Martin, Charles R. Litecky	A comparative study of IT/IS job skills and job definitions.	CPR	2007	DBLP DOI BibTeX RDF	IT/IS job definitions, latent semantic analysis
29	Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky	Searchable symmetric encryption: improved definitions and efficient constructions.	CCS	2006	DBLP DOI BibTeX RDF	searchable symmetric encryption, security definitions, multi-user, searchable encryption
29	Alina Andreica	Implementing Parameterized Type Algorithm Definitions in Mathematica.	SYNASC	2006	DBLP DOI BibTeX RDF	parameterized type definitions, generic algorithms in symbolic computation, category theory
29	Zsolt Németh, Vaidy S. Sunderam	Characterizing Grids: Attributes, Definitions, and Formalisms.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	distributed computing, computational Grids, formal definitions
27	Ron van der Meyden, Chenyi Zhang	Information Flow in Systems with Schedulers.	CSF	2008	DBLP DOI BibTeX RDF	scheduler, information flow, noninterference
27	Isabelle Bloch, Olivier Colliot, Roberto Marcondes Cesar Junior	On the Ternary Spatial Relation "Between".	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
27	André Adelsbach, Stefan Katzenbeisser 0001, Ahmad-Reza Sadeghi	A Computational Model for Watermark Robustness.	Information Hiding	2006	DBLP DOI BibTeX RDF
27	Alejandro Hevia, Daniele Micciancio	Simultaneous broadcast revisited.	PODC	2005	DBLP DOI BibTeX RDF	parallel broadcast, independence, secure function evaluation
27	Joachim Fischer, Michael Piefel, Markus Scheidgen	A Metamodel for SDL-2000 in the Context of Metamodelling ULF.	SAM	2004	DBLP DOI BibTeX RDF
27	David A. McAllester, Kostas Arkoudas	Walther Recursion.	CADE	1996	DBLP DOI BibTeX RDF
27	Irene Greif, Albert R. Meyer	Specifying Programming Language Semantics.	POPL	1979	DBLP DOI BibTeX RDF
26	Sébastien Limet, Gernot Salzer	Tree Tuple Languages from the Logic Programming Point of View.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	tree tuples, logic programming, inductive definitions
26	Paul Davidsson, Stefan J. Johansson	On the metaphysics of agents.	AAMAS	2005	DBLP DOI BibTeX RDF	agent definitions, agent properties
26	Judith Klavans, Brian Whitman	Extracting taxonomic relationships from on-line definitional sources using LEXING.	JCDL	2001	DBLP DOI BibTeX RDF	lexical knowledge bases, ontologies, information retrieval, natural language processing, definitions, glossaries
26	Radu Marinescu 0001	A Multi-Layered System of Metrics for the Measurement of Reuse by Inheritance.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Metric Definitions, Measurement, Reuse, Inheritance, Reengineering
26	Mihir Bellare, Anand Desai, David Pointcheval, Phillip Rogaway	Relations Among Notions of Security for Public-Key Encryption Schemes.	CRYPTO	1998	DBLP DOI BibTeX RDF	Asymmetric encryption, Rackoff-Simon attack, Relations among definitions, Chosen ciphertext security, Non-malleability, Plaintext awareness
26	Todd Fine	Defining Noninterference in the Temporal Logic of Actions.	S&P	1996	DBLP DOI BibTeX RDF	noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement
26	Hermann Kaindl	How to Identify Binary Relations for Domain Models.	ICSE	1996	DBLP BibTeX RDF	automated teller machine, automatic teller machines, natural language definitions, formal specification, requirements engineering, ATM, natural languages, abstract data types, object-oriented methods, domain models, object oriented analysis, entity relationship modeling, binary relations, bank data processing, real world experience, object classes, OOA
26	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
26	Mary Jean Harrold, Mary Lou Soffa	Efficient Computation of Interprocedural Definition-Use Chains.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
26	Bruce W. Arden, Bernard A. Galler, Robert M. Graham	The MAD definition facility.	Commun. ACM	1969	DBLP DOI BibTeX RDF	MAD, higher level language, operators, definitions, macros
26	Jianwei Niu 0003, Zhizhong Li 0003, Song Xu	Comparisons of 3D Shape Clustering with Different Face Area Definitions.	HCI (11)	2009	DBLP DOI BibTeX RDF	face area, shape comparison, clustering, 3D anthropometry
26	Hung V. Nguyen, Hasan Davulcu	Mining Search-Phrase Definitions from Item Descriptions.	ICDE	2008	DBLP DOI BibTeX RDF
26	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
26	Linda Peelen, Michel C. A. Klein, Stefan Schlobach, Nicolette de Keizer, Niels Peek	Analyzing Differences in Operational Disease Definitions Using Ontological Modeling.	AIME	2007	DBLP DOI BibTeX RDF
26	Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop	Productivity of Stream Definitions.	FCT	2007	DBLP DOI BibTeX RDF
26	Alexandra Desmoulin, César Viho	Automatic Interoperability Test Case Generation Based on Formal Definitions.	FMICS	2007	DBLP DOI BibTeX RDF
26	Antonio Guerrero, Víctor A. Villagrá, Jorge E. López de Vergara, Alfonso Sánchez-Macián, Julio Berrocal	Ontology-Based Policy Refinement Using SWRL Rules for Management Information Definitions in OWL.	DSOM	2006	DBLP DOI BibTeX RDF
26	Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier, Qi Li	Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery.	ISWC	2005	DBLP DOI BibTeX RDF
26	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
26	Hang Cui, Min-Yen Kan, Tat-Seng Chua	Unsupervised learning of soft patterns for generating definitions from online news.	WWW	2004	DBLP DOI BibTeX RDF	definition generation, soft patterns, unsupervised learning, pseudo-relevance feedback, definitional question answering
26	Ya Bing Chen, Tok Wang Ling, Mong-Li Lee	Automatic Generation of SQLX View Definitions from ORA-SS Views.	DASFAA	2004	DBLP DOI BibTeX RDF
26	Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton	On breakable cyclic definitions.	ICCAD	2004	DBLP DOI BibTeX RDF
26	Phillip Rogaway, Thomas Shrimpton	Cryptographic Hash-Function Basics: Definitions, Implications, and Separations for Preimage Resistance, Second-Preimage Resistance, and Collision Resistance.	FSE	2004	DBLP DOI BibTeX RDF	preimage resistance, second-preimage resistance, provable security, cryptographic hash functions, collision resistance
26	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Replication vs. Recursive Definitions in Channel Based Calculi.	ICALP	2003	DBLP DOI BibTeX RDF
26	Hung V. Nguyen, P. Velamuru, Deepak Kolippakkam, Hasan Davulcu, Huan Liu, M. Ates	Mining "Hidden Phrase" Definitions from the Web.	APWeb	2003	DBLP DOI BibTeX RDF
26	Atul Adya, Barbara Liskov, Patrick E. O'Neil	Generalized Isolation Level Definitions.	ICDE	2000	DBLP DOI BibTeX RDF
26	Kedar S. Namjoshi, Robert P. Kurshan	Efficient Analysis of Cyclic Definitions.	CAV	1999	DBLP DOI BibTeX RDF
26	Stéphane Grumbach, Zoé Lacroix, Steven Lindell	Generalized Implicit Definitions on Finite Structures.	CSL	1995	DBLP DOI BibTeX RDF
26	Hanne Riis Nielson, Flemming Nielson	Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations.	ESOP	1990	DBLP DOI BibTeX RDF
26	Marvin H. Solomon	Type Definitions with Parameters.	POPL	1978	DBLP DOI BibTeX RDF
24	Seul Lee, Anne J. Gilliland-Swetland	Evolving Definitions of Hate Speech: The Impact of a Lack of Standardized Definitions.	iConference (2)	2024	DBLP DOI BibTeX RDF
24	Vincent Segonne, Timothee Mickus	"Definition Modeling: To model definitions." Generating Definitions With Little to No Semantics.	CoRR	2023	DBLP DOI BibTeX RDF
24	Benjamin Binder 0001	Definitions and Detection Procedures of Timing Anomalies for the Formal Verification of Predictability in Real-Time Systems. (Définitions et procédures de détection des anomalies temporelles pour la vérification formelle de la prédictibilité des systèmes temps-réel).		2022	RDF
24	Oleksandra Vereschak	Understanding Human-AI Trust in the Context of Decision Making through the Lenses of Academia and Industry : Definitions, Factors, and Evaluation. (Comprendre la confiance entre l'humain et l'intelligence artificielle dans le contexte de la prise de décision par le prisme du monde académique et de l'industrie : définitions, facteurs et évaluation).		2022	RDF
24	Nripsuta Ani Saxena, Karen Huang, Evan DeFilippis, Goran Radanovic, David C. Parkes, Yang Liu 0018	How do fairness definitions fare? Testing public attitudes towards three algorithmic definitions of fairness in loan allocations.	Artif. Intell.	2020	DBLP DOI BibTeX RDF
24	Nripsuta Ani Saxena, Karen Huang, Evan DeFilippis, Goran Radanovic, David C. Parkes, Yang Liu 0018	How Do Fairness Definitions Fare?: Examining Public Attitudes Towards Algorithmic Definitions of Fairness.	AIES	2019	DBLP DOI BibTeX RDF
24	Joseph Lallemand	Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse).		2019	RDF
24	Justine Reynaud	Découverte de définitions dans le web des données. (Mining definitions in the web of data).		2019	RDF
24	Nripsuta Saxena, Karen Huang, Evan DeFilippis, Goran Radanovic, David C. Parkes, Yang Liu 0018	How Do Fairness Definitions Fare? Examining Public Attitudes Towards Algorithmic Definitions of Fairness.	CoRR	2018	DBLP BibTeX RDF
24	Cristina Serban	Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ).		2018	RDF
24	Loïc Vial, Andon Tchechmedjiev, Didier Schwab	Extension lexicale de définitions grâce à des corpus annotés en sens (Lexical Expansion of definitions based on sense-annotated corpus).	JEP-TALN-RECITAL (2)	2016	DBLP BibTeX RDF
24	Nicolás E. Bordenabe	Mesurer la confidentialité avec des métriques de discernabilité: définitions, mécanismes et confidentialité des informations liées à la localisation. (Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy).		2014	RDF
24	Maxime Lefrançois	Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte : conceptualisation, représentation, et opérationnalisation des définitions lexicographiques. (Meaning-Text Theory lexical semantic knowledge representation : conceptualization, representation, and operationalization of lexicographic definitions).		2014	RDF
24	Guoqian Jiang, Harold R. Solbrig, Christopher G. Chute	A Semantic Web-Based Approach for Harvesting Multilingual Textual Definitions from Wikipedia to Support ICD-11 Revision.	VDOS+DO@ICBO	2013	DBLP BibTeX RDF
24	Barry Smith 0001	Introduction to the Logic of Definitions.	VDOS+DO@ICBO	2013	DBLP BibTeX RDF
24	Antonio San Martín, Pilar León Araúz	Flexible Terminological Definitions and Conceptual Frames.	VDOS+DO@ICBO	2013	DBLP BibTeX RDF
24	Manfred Weiss, Markus Huber-Lang, Michael Taenzer, Karl Traeger, Juergen Altherr, Martina Kron, Birgit Hay, Marion Schneider	Different patient case mix by applying the 2003 SCCM/ESICM/ACCP/ATS/SIS sepsis definitions instead of the 1992 ACCP/SCCM sepsis definitions in surgical patients: a retrospective observational study.	BMC Medical Informatics Decis. Mak.	2009	DBLP DOI BibTeX RDF
24	Shin-ya Sato, Kensuke Fukuda, Satoshi Kurihara, Toshio Hirotsu, Toshiharu Sugawara	Generating Extensional Definitions of Concepts from Ostensive Definitions by Using Web.	WISE	2007	DBLP DOI BibTeX RDF
24	Colin Riba	Définitions par réécriture dans le lambda-calcul : confluence, réductibilité et typage. (Definitions by rewriting in the lambda-calculus : confluence, reducibility and typing).		2007	RDF
24	Eduard H. Hovy, Andrew Philpot, Judith Klavans, Ulrich Germann, Peter T. Davis	Extending Metadata Definitions by Automatically Extracting and Organizing Glossary Definitions.	DG.O	2003	DBLP BibTeX RDF
24	Robert Steinberger, Orly Nicklass	Definitions of Managed Objects for Frame Relay Service Level Definitions.	RFC	2002	DBLP DOI BibTeX RDF
24	Christine Paulin-Mohring	Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory).		1996	RDF
24	C. David Allen	Derivation of axiomatic definitions of programming languages from algorithmic definitions.	Proving Assertions About Programs	1972	DBLP DOI BibTeX RDF