The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1954-1975 (15) 1976-1978 (17) 1979-1980 (17) 1981-1982 (22) 1983-1984 (19) 1985-1986 (16) 1987-1988 (28) 1989 (20) 1990 (25) 1991 (28) 1992 (42) 1993 (33) 1994 (19) 1995 (24) 1996 (34) 1997 (45) 1998 (55) 1999 (102) 2000 (59) 2001 (58) 2002 (66) 2003 (68) 2004 (113) 2005 (117) 2006 (143) 2007 (148) 2008 (148) 2009 (110) 2010 (54) 2011 (39) 2012 (46) 2013 (37) 2014 (32) 2015 (39) 2016 (41) 2017 (29) 2018 (39) 2019 (37) 2020 (49) 2021 (65) 2022 (55) 2023 (57) 2024 (10)
Publication types (Num. hits)
article(710) book(5) incollection(71) inproceedings(1422) phdthesis(12)
Venues (Conferences, Journals, ...)
CoRR(111) Visual Representations and Int...(44) POPL(24) RTA(22) ICALP(19) IEEE Trans. Pattern Anal. Mach...(19) HICSS(16) CSL(15) J. Symb. Log.(15) Theor. Comput. Sci.(15) MFCS(14) LICS(13) CHI Extended Abstracts(12) CogSci(12) SAS(12) CADE(11) More (+10 of total 1035)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1352 occurrences of 988 keywords

Results
Found 2220 publication records. Showing 2220 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
73Manh Thang Nguyen, Danny De Schreye Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polynomial interpretations, acceptability, Termination analysis
73Roberto M. Amadio Max-Plus Quasi-interpretations. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Functional languages and term rewriting, Function algebras and implicit computational complexity, Polynomial interpretations and max-plus algebras, Static analysis
66Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain Mechanically Proving Termination Using Polynomial Interpretations. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polynomial interpretations, termination, term rewriting
66Axel Kramer Dynamic interpretations in translucent patches: representation-based applications. Search on Bibsonomy AVI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF translucent patches, interaction techniques, interpretations, gestural interfaces, pen based interfaces, application design
56David L. Cooper Visual Representations and Interpretations of Molecular Electronic Structure: The Survival and Re-emergence of Valence Bond Theory. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
56Irene Neilson A Multidisciplinary Perspective on Visual Representations & Interpretations. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Georg Moser, Andreas Schnabl Proving Quadratic Derivational Complexities Using Context Dependent Interpretations. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen Quasi-interpretations and Small Space Bounds. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Agostino Cortesi, Gilberto Filé, William H. Winsborough Comparison of Abstract Interpretations. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Matthias Paulik, Alex Waibel Extracting clues from human interpreter speech for spoken language translation. Search on Bibsonomy ICASSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp Search Techniques for Rational Polynomial Orders. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topics computer algebra systems and automated theorem provers, implementation and performance issues
45Mircea-Dan Hernest, Paulo Oliva Hybrid Functional Interpretations. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
45Helmut Thiele On the Uniqueness of Interpretations for Fuzzy IF-THEN Rule Bases. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF IF-THEN rule bases, uniqueness of interpretations, versions of compactness
43Gilda Ferreira, Paulo Oliva Functional Interpretations of Intuitionistic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Somayajulu Sripada, Feng Gao Linguistic Interpretations of Scuba Dive Computer Data. Search on Bibsonomy IV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Layman E. Allen, Adam W. Tury NewMINT interpretation assistance system: United States Constitution First Amendment's initial 1344 interpretations. Search on Bibsonomy ICAIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF NewMINT, ambiguity detection, generative expert system, legal relations language, multiple-interpretion assistance, normalized form
43Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract interpretations complete. Search on Bibsonomy J. ACM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Complete Abstract Interpretations Made Constructive. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Richard Zanibbi, Dorothea Blostein, James R. Cordy Recognition Tasks Are Imitation Games. Search on Bibsonomy ICAPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Yves Moinard General Preferential Entailments as Circumscriptions. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Chris F. Earl The Boundaries of a Shape and the Shape of Boundaries. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Grant Malcolm, Joseph A. Goguen Signs and Representations: Semiotics for User Interface Design. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Rita Kovordányi Mental Image Reinterpretation in the Intersection of Conceptual and Visual Constraints. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41David Reid, Chris J. Gittings Visualising Dynamic Browsing Patterns via Navigation Agents. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41David S. Goodsell Atomistic vs. Continuous Representations in Molecular Biology. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Vassili N. Serov, Olga V. Kirillova, Maria Samsonova NetWork: a Tool for Visualization of Genetic Network Structure and Dynamics. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Barbara C. Buckley, Carolyn J. Boulter Analysis of Representations in Model-Based Teaching and Learning in Science. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Terrence Fernando, Prasad Wimalaratne, Kevin Tan Virtual World Representation Issues for Supporting Assembly and Maintainability Assessment Tasks. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Andrew E. Welchman, Julie M. Harris Studying 'Holes' to Understand Visual Representation. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41C. A. Lund, Ray C. Paton A Visual Metaphor for Psychoanalytic Training and Supervision. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Thomas Schubert 0001, Frank Friedmann, Holger Regenbrecht Embodied Presence in Virtual Environments. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Pieter Jan Stappers, James M. Hennessey Toward Electronic Napkins and Beermats: Computer Support for Visual Ideation Skills. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Jeanette Mcfadzean Computational Support for Conceptual Sketching. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Christopher Tweed Learning to See Architecturally. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41John R. Lee Words and Pictures - Goodman Revisited. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Claire Dormann A taxonomy of visual metaphors. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41S. R. Edwards From Gutenberg to Gates. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Tim Marsh, Peter C. Wright Articulation of Spatial Information: 3D Shapes. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41David England Visualisation of Data Landscapes for Collaborative Virtual Environments. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Andrew Harrison Realism and Representation: Pictures, Models and Theories. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Phillip Kent A Visual, Computational Object Language for Mathematics. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Apostolos Antonacopoulos, F. Delporte Automated Interpretation of Visual Representations: Extracting Textual Information from WWW Images. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Robin Findlay Hendry Theories and Models: the Interactive View. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41A. G. P. Brown, F. P. Coenen, M. W. Knight Visualisation of an AI Solution. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41John Howard Parish The Language of Proteins. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Ronald Brown Mathematics and Knots. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41S. J. Sloane Interpreting Computer-Based Fictional Characters, a Reader's Manifesto: Or, Remarks in Favour of the Accommodating Text. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Peter Young 0003, Malcolm Munro 3D Software Visualisation. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Mark A. Beaumont, David Jackson, Michelle M. Usher Visualising Complex Sequential and Parallel Programs. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Hugh Clapin Visual Representation and Taxonomy. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Michael A. R. Biggs Interpreting Wittgenstein's Graphics. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Duncan S. Neary, Martin R. Woodward Visualisation of the OBJ Term Re-writing Process. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Hilary Carlisle, Peter Phillips, Gillian Bunce Breaking the Monotony: Using Randomisation Techniques in Computer-Aided Textile Design. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41David K. Manley Theatricality and Levels of Believability in Graphical Virtual Environments. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Julia C. Hill, Peter C. Wright Graphically Representing Causal Sequences in Accident Scenarios: Just Some of the Issues. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Nancy de Freitas Geomentality: Reframing the Landscape. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Mark Treglown Is the Trashcan Being Ironic? Analysing Direct Manipulation User Interfaces Using a Contemporary Theory of Metaphor. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Bernhard E. Bürdek, Maximilian Eibl, Jürgen Krause 0001 Visualisation in Document Retrieval: An Example of the Integration of Software Ergonomics and an Aesthetic Quality in Design. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Rom Harré Models and Type-hierarchies: Cognitive Foundations of Iconic Thinking. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Luis Alberto Pineda, Gabriela Garza A Model for Multimodal Representation and Inference. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Nam Yap, Mike Holcombe A Visual Representation of Mathematical Expressions. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Amy Ione Defining Visual Representation as a Creative and Interactive Modality. Search on Bibsonomy Visual Representations and Interpretations The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Jörg Endrullis, Johannes Waldmann, Hans Zantema Matrix Interpretations for Proving Termination of Term Rewriting. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Matrix interpretations, Satisfiability, Termination, Term rewriting
37Thomas Roelleke, Jun Wang 0032 TF-IDF uncovered: a study of theories and probabilities. Search on Bibsonomy SIGIR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TF-IDF interpretations, derivative of logarithm, document-query-independence, integral, probability theory
36Joseph N. Gitlin, Anand K. Narayan, Chad A. Mitchell, Ali M. Akmal, David J. Eisner, Lindsy M. Peterson, Daisy Nie, Tyler R. McClintock A Comparative Study of Conventional Mammography Film Interpretations with Soft Copy Readings of the Same Examinations. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interpreting digitized mammography images, transition to digital imaging, ROC-based analysis, Digitized mammography
36Paulo Oliva Computational Interpretations of Classical Linear Logic. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Paul Égré The Knower Paradox in the Light of Provability Interpretations of Modal Logic. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Believer Paradox, hierarchy solutions to the semantic paradoxes, Knower Paradox, provability logic, syntactical treatments of modalities, epistemic logic, self-reference
36Rob J. van Glabbeek The Individual and Collective Token Interpretations of Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Paul Hudak, Jonathan Young Collecting Interpretations of Expressions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF theory
35Heeryon Cho, Toru Ishida 0001, Toshiyuki Takasaki, Satoshi Oyama Assisting Pictogram Selection with Semantic Interpretation. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Gérard Berry, Jean-Jacques Lévy Minimal and Optimal Computations of Recursive Programs. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
30Bertrand Sereno, Simon Buckingham Shum, Enrico Motta Semi-automatic annotation of contested knowledge on the world wide web. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF contesting interpretations, interface, annotation, sense-making
30John Power, Edmund Robinson Logical Relations and Data Abstraction. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF cartesian closed fibrations, interpretations, lambda calculus, logical relations
30Eric Saund, Thomas P. Moran Perceptual Organization in an Interactive Sketch Editing Application. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF interactive sketch editing application, interactive sketch editing, computer supported drawing tools, human user, complex groupings, image elements, perceptually supported sketch editors, computer vision algorithms, emergent visual objects, flexible image interpretation architecture, token grouping, multiscale blackboard data structure, multiple perceptual interpretations, line drawing data, domain specific knowledge bases, visual structure interpretation, natural gesture based selection, computer vision, computational vision, data structures, computer graphics, knowledge based systems, interactive systems, visual system, perceptual organization, blackboard architecture
30Moisés Goldszmidt, Paul H. Morris, Judea Pearl A Maximum Entropy Approach to Nonmonotonic Reasoning. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF abnormality minimisation, infinitesimal probabilities, probabilistic interpretation, conditional knowledge base, conditional interpretations, knowledge based systems, inference, maximum entropy, nonmonotonic reasoning, nonmonotonic reasoning, probabilistic logic
30T. H. Merrett, Normand Laliberte Including Scalars in a Programming Language Based on the Relational Algebra. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF relational programming system, relix, QT-selectors, l-expressions, systematic interpretations, array access, tuned access method, Z-order, data structures, relational databases, programming language, projections, database theory, relational algebra, relations, high level languages, syntax, B-trees, data types, records, scalars
29Pierre-Antoine Champin Empowering Ambivalence - Supporting multiple interpretations in knowledge-based systems. (De l'ambivalence : supporter les interprétations multiples dans les systèmes à base de connaissances). Search on Bibsonomy 2017   RDF
29Salvador Lucas From matrix interpretations over the rationals to matrix interpretations over the naturals Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
29Friedrich Neurauter, Aart Middeldorp Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers. Search on Bibsonomy RTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Salvador Lucas From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Werner Ainhirn Marvellous Interpretations Differ Little but Decisively from Ordinary Interpretations of EOL Forms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
29Jean-Yves Marion, Romain Péchoux Sup-interpretations, a semantic method for static analysis of program resources. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis of first-order languages, Resources control
29Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani Automatically Refining Abstract Interpretations. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Harald Zankl, Aart Middeldorp Increasing Interpretations. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Related Topics implementations of symbolic computation systems, logic and symbolic computing
29Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl SAT Solving for Termination Analysis with Polynomial Interpretations. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Xianghua Ying, Hongbin Zha Geometric Interpretations of the Relation between the Image of the Absolute Conic and Sphere Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF sphere image, image of the absolute conic, double-contact theorem, Camera calibration, geometric interpretation
29John P. Gallagher, Kim S. Henriksen, Gourinath Banda Techniques for Scaling Up Analyses Based on Pre-interpretations. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Torsten Rohlfing, Adolf Pfefferbaum, Edith V. Sullivan, Calvin R. Maurer Jr. Information Fusion in Biomedical Image Analysis: Combination of Data vs. Combination of Interpretations. Search on Bibsonomy IPMI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Nao Hirokawa, Aart Middeldorp Polynomial Interpretations with Negative Coefficients. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Márcio Mourão, Pedro Madeira, Nuno J. Mamede Interpretations and Discourse Obligations in a Dialog System. Search on Bibsonomy PROPOR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29T. S. E. Maibaum Conservative Extensions, Interpretations Between Theories and All That! Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Tatsuya Nomura A proposal of interpretations on numerical degrees of confidence for fuzzy If-Then rules and a mathematical verification of properties under various reasoning methods. Search on Bibsonomy KES (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Pierre Lescanne Termination of Rewrite Systems by Elementary Interpretations. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Tommaso Bolognesi, Diego Latella, Elisabetta Zuppa Non-standard Interpretations of LOTOS Specifications. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Carl A. Gunter Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Manfred Broy, Martin Wirsing Generalized Heterogeneous Algebras and Partial Interpretations. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
29Bruno Courcelle On the Definition of Classes of Interpretations. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Werner Dilger, Peter Raulefs Monadic Program Schemes Under Restricted Classes of Free Interpretations. Search on Bibsonomy ICALP The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
28Florian Wagner 0006, Joachim Bohl, Georg Frey An IEC 61499 interpretation and implementation focused on usability. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2220 (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