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