The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for definitions with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1964 (16) 1965-1969 (17) 1970-1974 (21) 1975-1976 (24) 1977 (17) 1978 (22) 1979-1980 (32) 1981 (21) 1982 (18) 1983 (22) 1984 (22) 1985 (18) 1986 (26) 1987 (34) 1988 (45) 1989 (44) 1990 (64) 1991 (60) 1992 (88) 1993 (81) 1994 (108) 1995 (77) 1996 (71) 1997 (107) 1998 (131) 1999 (165) 2000 (232) 2001 (185) 2002 (215) 2003 (274) 2004 (367) 2005 (493) 2006 (474) 2007 (514) 2008 (498) 2009 (360) 2010 (107) 2011 (74) 2012 (67) 2013 (103) 2014 (73) 2015 (80) 2016 (65) 2017 (75) 2018 (96) 2019 (102) 2020 (98) 2021 (95) 2022 (112) 2023 (110) 2024 (30)
Publication types (Num. hits)
article(1789) book(6) data(2) incollection(97) inproceedings(4309) phdthesis(46) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4666 occurrences of 2688 keywords

Results
Found 6250 publication records. Showing 6250 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Peter Dybjer, Anton Setzer Indexed Induction-Recursion. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 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
64Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Revision Theory, Circular Definitions, Inductive definitions
48Andreas Goerdt, Helmut Seidl Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions, Part II. Search on Bibsonomy IMYCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
47Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
47Michel Leclère Reasoning with Type Definitions. Search on Bibsonomy ICCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF type definitions, atomic form, logical interpretation, projection, contraction, expansion
44Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 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
44Antonio 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. Search on Bibsonomy DSOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Gert Florijn Object Protocols as Functional Parsers. Search on Bibsonomy ECOOP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF interface definitions, protocols, functional programming, service definitions
43Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao Ranking definitions with supervised learning methods. Search on Bibsonomy WWW (Special interest tracks and posters) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF search of definitions, classification, text mining, web search, web mining, ordinal regression
43Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
39Kazuki Yoneyama, Kazuo Ohta Ring signatures: universally composable definitions and constructions. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF anonymity, ring signature, universal composability, unforgeability
39Oded Goldreich 0001 On Expected Probabilistic Polynomial-Time Adversaries: A Suggestion for Restricted Definitions and Their Benefits. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Stefan Dieker, Ralf Hartmut Güting Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment. Search on Bibsonomy IDEAS The full citation details ... 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
35Judith Klavans, Smaranda Muresan Evaluation of DEFINDER: a system to mine definitions from consumer-oriented medical text. Search on Bibsonomy JCDL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF automatic dictionary creation, medical digital libraries, natural language processing, text data mining
35Jan M. Zytkow, Zbigniew W. Ras Foundations and Discovery of Operational Definitions. Search on Bibsonomy ISMIS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Makoto Tatsuta Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis. Search on Bibsonomy MPC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Anish Das Sarma, Aditya G. Parameswaran, Hector Garcia-Molina, Jennifer Widom Synthesizing view definitions from data. Search on Bibsonomy ICDT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF query synthesis, view definitions, algorithms, complexity
34Jeremy Avigad Eliminating definitions and Skolem functions in first-order logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Skolem functions, lengths of proofs, Definitions, proof complexity
32Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee 0001, John Hatcliff, Matthew B. Dwyer A new foundation for control dependence and slicing for modern program structures. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
32Joseph Y. Halpern, Kevin R. O'Neill Anonymity and Information Hiding in Multiagent Systems. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Gregory A. Frascadore Combining explanation based generalization with the learning of macro operators (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Farookh Khadeer Hussain, Elizabeth Chang 0001 An Overview of the Interpretations of Trust and Reputation. Search on Bibsonomy AICT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF trust, reputation, definitions
31Jonathan Katz, Moti Yung Characterization of Security Notions for Probabilistic Private-Key Encryption. Search on Bibsonomy J. Cryptol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Private-key encryptions, Definitions
31Michael D. Rice, Stephen B. Seidman A Formal Model for Module Interconnection Languages. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
30Adam Bender, Jonathan Katz, Ruggero Morselli Ring Signatures: Stronger Definitions, and Constructions without Random Oracles. Search on Bibsonomy J. Cryptol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Anonymity, Signatures
30Johan Sandberg, Maria Hansson-Sandsten A Comparison Between Different Discrete Ambiguity Domain Definitions in Stochastic Time-Frequency Analysis. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Matthias Kehlenbeck, Michael H. Breitner Ontology-Based Exchange and Immediate Application of Business Calculation Definitions for Online Analytical Processing. Search on Bibsonomy DaWaK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao, Yalou Huang A Supervised Learning Approach to Search of Definitions. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF definition search, text mining, web search, web mining
30Adam Bender, Jonathan Katz, Ruggero Morselli Ring Signatures: Stronger Definitions, and Constructions Without Random Oracles. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
30Deepak Kapur, Nikita A. Sakhanenko Automatic Generation of Generalization Lemmas for Proving Properties of Tail-Recursive Definitions. Search on Bibsonomy TPHOLs The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Karel Pala, Eva Mráková Building Consistent Dictionary Definitions. Search on Bibsonomy CICLing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Frank Pfenning, Carsten Schürmann Algorithms for Equality and Unification in the Presence of Notational Definitions. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Matthew Bishop, Peter B. Andrews Selectively Instantiating Definitions. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
30Lawrence C. Paulson A Fixedpoint Approach to Implementing (Co)Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Philipp Hanschke Terminological Reasoning and Partial Inductive Definitions. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29H. James Nelson, Altaf Ahmad, Nancy L. Martin, Charles R. Litecky A comparative study of IT/IS job skills and job definitions. Search on Bibsonomy CPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF IT/IS job definitions, latent semantic analysis
29Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky Searchable symmetric encryption: improved definitions and efficient constructions. Search on Bibsonomy CCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF searchable symmetric encryption, security definitions, multi-user, searchable encryption
29Alina Andreica Implementing Parameterized Type Algorithm Definitions in Mathematica. Search on Bibsonomy SYNASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF parameterized type definitions, generic algorithms in symbolic computation, category theory
29Zsolt Németh, Vaidy S. Sunderam Characterizing Grids: Attributes, Definitions, and Formalisms. Search on Bibsonomy J. Grid Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF distributed computing, computational Grids, formal definitions
27Ron van der Meyden, Chenyi Zhang Information Flow in Systems with Schedulers. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduler, information flow, noninterference
27Isabelle Bloch, Olivier Colliot, Roberto Marcondes Cesar Junior On the Ternary Spatial Relation "Between". Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part B The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27André Adelsbach, Stefan Katzenbeisser 0001, Ahmad-Reza Sadeghi A Computational Model for Watermark Robustness. Search on Bibsonomy Information Hiding The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Alejandro Hevia, Daniele Micciancio Simultaneous broadcast revisited. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallel broadcast, independence, secure function evaluation
27Joachim Fischer, Michael Piefel, Markus Scheidgen A Metamodel for SDL-2000 in the Context of Metamodelling ULF. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27David A. McAllester, Kostas Arkoudas Walther Recursion. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Irene Greif, Albert R. Meyer Specifying Programming Language Semantics. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
26Sébastien Limet, Gernot Salzer Tree Tuple Languages from the Logic Programming Point of View. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tree tuples, logic programming, inductive definitions
26Paul Davidsson, Stefan J. Johansson On the metaphysics of agents. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF agent definitions, agent properties
26Judith Klavans, Brian Whitman Extracting taxonomic relationships from on-line definitional sources using LEXING. Search on Bibsonomy JCDL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF lexical knowledge bases, ontologies, information retrieval, natural language processing, definitions, glossaries
26Radu Marinescu 0001 A Multi-Layered System of Metrics for the Measurement of Reuse by Inheritance. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Metric Definitions, Measurement, Reuse, Inheritance, Reengineering
26Mihir Bellare, Anand Desai, David Pointcheval, Phillip Rogaway Relations Among Notions of Security for Public-Key Encryption Schemes. Search on Bibsonomy CRYPTO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Asymmetric encryption, Rackoff-Simon attack, Relations among definitions, Chosen ciphertext security, Non-malleability, Plaintext awareness
26Todd Fine Defining Noninterference in the Temporal Logic of Actions. Search on Bibsonomy S&P The full citation details ... 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
26Hermann Kaindl How to Identify Binary Relations for Domain Models. Search on Bibsonomy ICSE The full citation details ... 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
26Hemant D. Pande, William Landi, Barbara G. Ryder Interprocedural Def-Use Associations for C Systems with Single Level Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
26Mary Jean Harrold, Mary Lou Soffa Efficient Computation of Interprocedural Definition-Use Chains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions
26Bruce W. Arden, Bernard A. Galler, Robert M. Graham The MAD definition facility. Search on Bibsonomy Commun. ACM The full citation details ... 1969 DBLP  DOI  BibTeX  RDF MAD, higher level language, operators, definitions, macros
26Jianwei Niu 0003, Zhizhong Li 0003, Song Xu Comparisons of 3D Shape Clustering with Different Face Area Definitions. Search on Bibsonomy HCI (11) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF face area, shape comparison, clustering, 3D anthropometry
26Hung V. Nguyen, Hasan Davulcu Mining Search-Phrase Definitions from Item Descriptions. Search on Bibsonomy ICDE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Michael Pedersen Compositional Definitions of Minimal Flows in Petri Nets. Search on Bibsonomy CMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
26Linda Peelen, Michel C. A. Klein, Stefan Schlobach, Nicolette de Keizer, Niels Peek Analyzing Differences in Operational Disease Definitions Using Ontological Modeling. Search on Bibsonomy AIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop Productivity of Stream Definitions. Search on Bibsonomy FCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Alexandra Desmoulin, César Viho Automatic Interoperability Test Case Generation Based on Formal Definitions. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Antonio 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. Search on Bibsonomy DSOM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier, Qi Li Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery. Search on Bibsonomy ISWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh Polynomial Runtime in Simulatability Definitions. Search on Bibsonomy CSFW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reactive simulatability, universal composability, multi-party computation
26Hang Cui, Min-Yen Kan, Tat-Seng Chua Unsupervised learning of soft patterns for generating definitions from online news. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF definition generation, soft patterns, unsupervised learning, pseudo-relevance feedback, definitional question answering
26Ya Bing Chen, Tok Wang Ling, Mong-Li Lee Automatic Generation of SQLX View Definitions from ORA-SS Views. Search on Bibsonomy DASFAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton On breakable cyclic definitions. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Phillip Rogaway, Thomas Shrimpton Cryptographic Hash-Function Basics: Definitions, Implications, and Separations for Preimage Resistance, Second-Preimage Resistance, and Collision Resistance. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF preimage resistance, second-preimage resistance, provable security, cryptographic hash functions, collision resistance
26Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Replication vs. Recursive Definitions in Channel Based Calculi. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Hung V. Nguyen, P. Velamuru, Deepak Kolippakkam, Hasan Davulcu, Huan Liu, M. Ates Mining "Hidden Phrase" Definitions from the Web. Search on Bibsonomy APWeb The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Atul Adya, Barbara Liskov, Patrick E. O'Neil Generalized Isolation Level Definitions. Search on Bibsonomy ICDE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Kedar S. Namjoshi, Robert P. Kurshan Efficient Analysis of Cyclic Definitions. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Stéphane Grumbach, Zoé Lacroix, Steven Lindell Generalized Implicit Definitions on Finite Structures. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Hanne Riis Nielson, Flemming Nielson Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Marvin H. Solomon Type Definitions with Parameters. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
24Seul Lee, Anne J. Gilliland-Swetland Evolving Definitions of Hate Speech: The Impact of a Lack of Standardized Definitions. Search on Bibsonomy iConference (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Vincent Segonne, Timothee Mickus "Definition Modeling: To model definitions." Generating Definitions With Little to No Semantics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Benjamin 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). Search on Bibsonomy 2022   RDF
24Oleksandra 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). Search on Bibsonomy 2022   RDF
24Nripsuta 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. Search on Bibsonomy Artif. Intell. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Nripsuta 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. Search on Bibsonomy AIES The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Joseph Lallemand Electronic Voting: Definitions and Analysis Techniques. (Vote électronique : définitions et techniques d'analyse). Search on Bibsonomy 2019   RDF
24Justine Reynaud Découverte de définitions dans le web des données. (Mining definitions in the web of data). Search on Bibsonomy 2019   RDF
24Nripsuta 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. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Cristina Serban Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ). Search on Bibsonomy 2018   RDF
24Loï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). Search on Bibsonomy JEP-TALN-RECITAL (2) The full citation details ... 2016 DBLP  BibTeX  RDF
24Nicolá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). Search on Bibsonomy 2014   RDF
24Maxime 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). Search on Bibsonomy 2014   RDF
24Guoqian Jiang, Harold R. Solbrig, Christopher G. Chute A Semantic Web-Based Approach for Harvesting Multilingual Textual Definitions from Wikipedia to Support ICD-11 Revision. Search on Bibsonomy VDOS+DO@ICBO The full citation details ... 2013 DBLP  BibTeX  RDF
24Barry Smith 0001 Introduction to the Logic of Definitions. Search on Bibsonomy VDOS+DO@ICBO The full citation details ... 2013 DBLP  BibTeX  RDF
24Antonio San Martín, Pilar León Araúz Flexible Terminological Definitions and Conceptual Frames. Search on Bibsonomy VDOS+DO@ICBO The full citation details ... 2013 DBLP  BibTeX  RDF
24Manfred 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. Search on Bibsonomy BMC Medical Informatics Decis. Mak. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Shin-ya Sato, Kensuke Fukuda, Satoshi Kurihara, Toshio Hirotsu, Toshiharu Sugawara Generating Extensional Definitions of Concepts from Ostensive Definitions by Using Web. Search on Bibsonomy WISE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Colin 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). Search on Bibsonomy 2007   RDF
24Eduard H. Hovy, Andrew Philpot, Judith Klavans, Ulrich Germann, Peter T. Davis Extending Metadata Definitions by Automatically Extracting and Organizing Glossary Definitions. Search on Bibsonomy DG.O The full citation details ... 2003 DBLP  BibTeX  RDF
24Robert Steinberger, Orly Nicklass Definitions of Managed Objects for Frame Relay Service Level Definitions. Search on Bibsonomy RFC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Christine Paulin-Mohring Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory). Search on Bibsonomy 1996   RDF
24C. David Allen Derivation of axiomatic definitions of programming languages from algorithmic definitions. Search on Bibsonomy Proving Assertions About Programs The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 6250 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license